Pinned Loading

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

   OCaml 2.1k 584

3. A Dependently Typed Functional Programming Language

   Haskell 3.5k 631

4. Efficiently find minimal subsets/submaps

   Haskell 3

5. Help debug intermittent crashes by automatically running the program until it crashes

   Haskell 2