repos
30
ecosystems
3
languages
3
commits
1,390
─── top repos · by commits
─── repositories
30 totalThe ledger implementation and specifications of the Cardano blockchain.
CDDL DSL and Testing Tools
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.
Executable specification of `cardano-ledger` generated from Agda
Formal specifications of the Cardano ledger
The ledger implementation and specifications of the Cardano blockchain.
The core component that is used to participate in a Cardano decentralised blockchain.
This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.
Cardano API
WIP. Do not run.
The core component that is used to participate in a Cardano decentralised blockchain.
The core component that is used to participate in a Cardano decentralised blockchain.
Temporary fork of the Haskell node for debug logging
The core component that is used to participate in a Cardano decentralised blockchain.
Cardano API
This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.
Cardano API
Cardano API
An abstract set theory library that can be instantiated in various ways
Canonical Ledger Format for Cardano
Code used throughout the Cardano eco-system
Implementation of a Consensus Layer for the Ouroboros family of protocols
Implementation of a Consensus Layer for the Ouroboros family of protocols
The core component that is used to participate in a Cardano decentralised blockchain.
Metadata for Cardano's Haskell package repository
Consume Cardano blocks as a stream
─── peer developers
─── ecosystems
─── languages
- Haskell23
- Agda2
- Shell1
─── subscriber view
Unlock the full view of Soupstraw
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.