repos
22
ecosystems
1
languages
6
commits
579
Top repos · by commits
Repositories
22 totalFormal specification of Ouroboros Praos
Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
A general-purpose process calculus with support for arbitrary data
Implementation of a Consensus Layer for the Ouroboros family of protocols
Implementation of a Consensus Layer for the Ouroboros family of protocols
Support for working with labeled transition systems
Supplementary types and functions for the Agda prelude
Documentation and tools relating to the design and prototyping of Ouroboros Leios
The ledger implementation and specifications of the Cardano blockchain.
A formal specification and executable model of the ledger rules introduced by the Shelley release
The ledger implementation and specifications of the Cardano blockchain.
The ledger implementation and specifications of the Cardano blockchain.
The ledger implementation and specifications of the Cardano blockchain.
The ledger implementation and specifications of the Cardano blockchain.
The ledger implementation and specifications of the Cardano blockchain.
Formal specifications for the Cardano Blockchain
Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.
Formalization of the Cardano ledger specification
Formal specifications of the Cardano ledger
Extension of Agda's standard library to accommodate a more typeclass-friendly interface.
Formal specification of the Ouroboros Leios protocol variants
Peer developers
Ecosystems
Languages
- Haskell9
- Agda4
- Isabelle3
- Jupyter Notebook1
- Scala1
- TeX1