imandra-ai / contractsLinks
Imandra Contracts - Formal verification of smart contracts
☆32Updated 8 years ago
Alternatives and similar repositories for contracts
Users that are interested in contracts are comparing it to the libraries listed below
Sorting:
- State-Transition Systems for Smart Contracts☆24Updated 5 years ago
- A minimalistic blockchain consensus implemented and verified in Coq☆113Updated 5 years ago
- Formal verification of the Algorand consensus protocol☆27Updated 2 years ago
- working with coq and tezos☆28Updated 8 years ago
- Optimized Patricia trie with disk storage☆31Updated 6 years ago
- authenticated data structures, generically☆54Updated 8 years ago
- An ML-inspired smart contract language, compiling to Tezos' Michelson VM☆22Updated 7 years ago
- OCaml library for partially ordered maps☆15Updated last month
- Compiler for stack manipulation in Michelson☆15Updated 6 years ago
- CertiCrypt Coq Framework