Popular repositories
Repositories
Showing 10 of 60 repositories
- leveled Public Forked from martinsumner/leveled
Working prototype of a pure Erlang Key/Value store - based on a LSM-tree, optimised for HEAD requests
-
-
-
- quickcheck-contractmodel Public Forked from input-output-hk/quickcheck-contractmodel
Adversary testing of your plutus contract
- cardano-ledger Public Forked from IntersectMBO/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
-
- formal-ledger-specifications Public Forked from IntersectMBO/formal-ledger-specifications
Formal specifications of the cardano ledger
-
-