Pinned Loading

1. morpho-org/morpho-blue morpho-org/morpho-blue Public

   Morpho variable rate market

   Solidity 330 170

2. morpho-org/midnight morpho-org/midnight Public

   Solidity 91 44

3. morpho-org/vault-v2 morpho-org/vault-v2 Public

   Morpho Vault V2

   Solidity 90 67

4. smtcoq/smtcoq smtcoq/smtcoq Public

   Communication between Coq and SAT/SMT solvers

   OCaml 167 52

5. ProjectBabbage/render3d ProjectBabbage/render3d Public

   Project Babbage 1st edition: a 3D renderer built from scratch for the purpose of learning.

   Go 4

6. ProjectBabbage/babbagecoin ProjectBabbage/babbagecoin Public

   Project Babbage 2nd edition: a PoW blockchain

   Python 5