Pinned Loading

1. MinaProtocol/mina MinaProtocol/mina Public

   Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

   OCaml 2.1k 583

2. rush rush Public

   A simple compiler targeting cranelift

   Rust 2

3. wyah wyah Public

   OCaml

4. ez ez Public

   An ez language implemented with OCaml, Cpp and LLVM.

   OCaml 1

5. tt_zoo tt_zoo Public

   Type Theories Playground in OCaml

   OCaml

6. minimoonbit minimoonbit Public

   Python 1