Popular repositories Loading
Repositories
Showing 10 of 61 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
Quviq/leveled’s past year of commit activity - quickcheck-contractmodel Public Forked from input-output-hk/quickcheck-contractmodel
Adversary testing of your plutus contract
Quviq/quickcheck-contractmodel’s past year of commit activity - cardano-ledger Public Forked from IntersectMBO/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
Quviq/cardano-ledger’s past year of commit activity - formal-ledger-specifications Public Forked from IntersectMBO/formal-ledger-specifications
Formal specifications of the cardano ledger
Quviq/formal-ledger-specifications’s past year of commit activity