Pinned Loading

1. wai-cors wai-cors Public

   A Haskell implementation of Cross-Origin resource sharing (CORS) for Wai

   Haskell 26 13

2. kadena-io/chainweb-node kadena-io/chainweb-node Public

   Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput

   Haskell 248 95

3. cuckoo cuckoo Public

   Haskell Implementation of Cuckoo Filters

   Haskell 6 1

4. kadena-io/merkle-log kadena-io/merkle-log Public

   Haskell Merkle Tree Logs

   Haskell 5

5. MoCS MoCS Public

   Monitor Circuit Synthesis. MoCS compiles monitor circuits from linear time temporal logic specifications. The input logic is similar to PSL by allowing nesting of regular expressions within tempora…

   C++ 2

6. kadena-io/digraph kadena-io/digraph Public

   Directed Graphs

   Haskell 6 5