@cardano ouroboros-consensus-byronspec dependencies

12 results

Concrete functor and monad transformers

Monad classes for transformers, using functional dependencies

Assorted concrete container types

Core data structures and operations

Small step semantics

A networking layer for the Ouroboros blockchain protocol

Consensus layer for the Ouroboros blockchain protocol

Key slotting types for cardano libraries

Test helpers from cardano-ledger exposed to other packages

Binary serialization for Cardano

Executable specification of Cardano ledger

Executable specification of the Cardano blockchain