@cardano / byron-spec-ledger

Executable specification of Cardano ledger

Latest1.1.0.1

Dependencies

library:byron-spec-ledger (14 dependencies)

@hackage / bimap Bidirectional mapping between two key types
- Version: >=0.4 && <0.6
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / nothunks Examine values for unexpected thunks
- Version:
- License: Apache-2.0
@hackage / microlens A tiny lens library with no dependencies
- Version: <0.5
- License: BSD-3-Clause
@hackage / crypton Cryptography Primitives sink
- Version:
- License: BSD-3-Clause
@hackage / Unique It provides the functionality like unix "uniq" utility
- Version: >=0.4.7.6
- License: BSD-3-Clause
@hackage / microlens-th Automatic generation of record lenses for microlens
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.18 && <5
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version:
- License: BSD-3-Clause
@cardano / cardano-ledger-binary Binary serialization library used throughout ledger
- Version: >=1.0
- License: Apache-2.0
@hackage / hashable A class for types that can be converted to a hash value
- Version:
- License: BSD-3-Clause
@cardano / small-steps Small step semantics
- Version: >=1.1
- License: Apache-2.0
@cardano / hedgehog Release with confidence.
- Version: >=1.0.4
- License: BSD-3-Clause
@cardano / cardano-crypto-class Type classes abstracting over cryptography primitives for Cardano
- Version:
- License: Apache-2.0

test:byron-spec-ledger-test (12 dependencies)