@cardano byron-spec-ledger dependencies
30 results
@haskell/template-haskell
Support library for Template Haskell
@haskell/filepath
Library for manipulating FilePaths in a cross platform way.
@haskell/containers
Assorted concrete container types
@haskell/base
Core data structures and operations
@hackage/nothunks
Examine values for unexpected thunks
@hackage/microlens-th
Automatic generation of record lenses for microlens
@hackage/microlens
A tiny lens library with no dependencies
@hackage/hashable
A class for types that can be converted to a hash value
@hackage/bimap
Bidirectional mapping between two key types
@hackage/Unique
It provides the functionality like unix "uniq" utility
@cardano/small-steps-test
Small step semantics testing library
@cardano/small-steps
Small step semantics
@cardano/hedgehog
Release with confidence.
@cardano/goblins
Genetic algorithm based randomised testing
@cardano/cardano-data
Specialized data for Cardano project
@cardano/cardano-binary
Binary serialization for Cardano
@haskell/containers
Assorted concrete container types
@haskell/base
Core data structures and operations
@hackage/tasty-hunit
HUnit support for the Tasty test framework.
@hackage/tasty-hedgehog
Integration for tasty and hedgehog.
@hackage/tasty
Modern and extensible testing framework
@hackage/microlens-th
Automatic generation of record lenses for microlens
@hackage/microlens
A tiny lens library with no dependencies
@hackage/bimap
Bidirectional mapping between two key types
@hackage/Unique
It provides the functionality like unix "uniq" utility
@cardano/small-steps-test
Small step semantics testing library
@cardano/small-steps
Small step semantics
@cardano/hedgehog
Release with confidence.
@cardano/cardano-data
Specialized data for Cardano project
@cardano/byron-spec-ledger
Executable specification of Cardano ledger