@cardano hedgehog dependents

@cardano/byron-spec-chain

Executable specification of the Cardano blockchain

@cardano/byron-spec-ledger

Executable specification of Cardano ledger

@cardano/cardano-api

The cardano API

@cardano/cardano-binary

Binary serialization for Cardano

@cardano/cardano-binary-test

Test helpers from cardano-binary exposed to other packages

@cardano/cardano-cli

The Cardano command-line interface

@cardano/cardano-crypto-test

Test helpers from cardano-crypto exposed to other packages

@cardano/cardano-crypto-wrapper

Cryptographic primitives used in Byron era of the Cardano project

@cardano/cardano-ledger-binary

Binary serialization library used throughout ledger

@cardano/cardano-ledger-byron

The blockchain layer of Cardano during the Byron era

@cardano/cardano-ledger-byron-test

Test helpers from cardano-ledger exposed to other packages

@cardano/cardano-ledger-shelley-test

Test helpers from cardano-ledger-shelley exposed to other packages

@cardano/cardano-node

The cardano full node

@cardano/cardano-node-chairman

The cardano full node

@cardano/cardano-node-emulator

@cardano/cardano-prelude-test

Utility types and functions for testing Cardano

@cardano/cardano-testnet

The cardano full node

@cardano/freer-extras

Useful extensions to simple-freer

@cardano/goblins

Genetic algorithm based randomised testing

@cardano/hedgehog-extras

Supplemental library for hedgehog

@cardano/locli

Cardano log analysis CLI

@cardano/plutus-core

Language library for Plutus Core

@cardano/plutus-ledger

Wallet API

@cardano/plutus-ledger-api

Interface to the Plutus ledger for the Cardano ledger.

@cardano/plutus-tx

Libraries for Plutus Tx and its prelude

@cardano/plutus-tx-plugin

The Plutus Tx compiler and GHC plugin

@cardano/small-steps

Small step semantics

@cardano/small-steps-test

Small step semantics testing library

@cardano/validation-selective

Lighweight pure data validation based on Applicative and Selective functors