kbr- - Overview
Navigation Menu
Pinned Loading
-
Haskell to C++ using Conal Elliott's "Compiling To Categories"
Haskell 3
-
Linux driver for the HardDoom ][™ PCI device.
C 2
-
Proof-of-concept implementation of a distributed key-value store with strictly serializable transactions.
Rust 5
-
A fault-tolerant distributed algorithm for building linearizable services without replicated logs.
TeX 2