Pinned Loading

1. concat-cpp concat-cpp Public

   Haskell to C++ using Conal Elliott's "Compiling To Categories"

   Haskell 3

2. harddoom2 harddoom2 Public

   Linux driver for the HardDoom ][™ PCI device.

   C 2

3. scylladb/scylladb scylladb/scylladb Public

   NoSQL data store using the seastar framework, compatible with Apache Cassandra

   C++ 13.5k 1.3k

4. LPaxos/lattistore LPaxos/lattistore Public

   Proof-of-concept implementation of a distributed key-value store with strictly serializable transactions.

   Rust 5

5. Motions/motions Motions/motions Public

   Haskell 1 3

6. LPaxos/LPaxos LPaxos/LPaxos Public

   A fault-tolerant distributed algorithm for building linearizable services without replicated logs.

   TeX 2