repos
47
ecosystems
2
languages
7
commits
3,316
─── top repos · by commits
─── repositories
47 totalThe ledger implementation and specifications of the Cardano blockchain.
A formal specification and executable model of the ledger rules introduced by the Shelley release
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.
The ledger implementation and specifications of the Cardano blockchain.
Implementation of a Consensus Layer for the Ouroboros family of protocols
Implementation of a Consensus Layer for the Ouroboros family of protocols
A re-implementation of the Cardano ledger layer, replacing the Byron release
Implementation of a Consensus Layer for the Ouroboros family of protocols
Research on a decentralized software update mechanism for blockchain systems
Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.
Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.
An implementation of the Ouroboros family of consensus algorithms, with its networking support
Metadata for Cardano's Haskell package repository
Tools related to ouroboros consensus
Metadata for Cardano's Haskell package repository
The core component that is used to participate in a Cardano decentralised blockchain.
WIP. Do not run.
The core component that is used to participate in a Cardano decentralised blockchain.
Temporary fork of the Haskell node for debug logging
nix scripts shared across projects
Haskell's IO simulator which closely follows core packages (base, async, stm).
nix scripts shared across projects
nix scripts shared across projects
This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.
Cardano API
Haskell libraries for file system simulation
Haskell code prettifier
Cardano API
Cardano API
Cardano API
NixOps deployment configuration for IOHK devops
A protolude-based custom prelude for the Cardano project
A protolude-based custom prelude for the Cardano project
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.
This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.
Code used throughout the Cardano eco-system
NixOps deployment configuration for IOHK/Cardano devops
Documentation and tools relating to the design and prototyping of Ouroboros Leios
NixOps deployment configuration library for IOHK devops
Development processes and operational handbook
A repository for all concrete decisions made about how to implement the formal specs
Simple Haskell API for LMDB
─── peer developers
─── ecosystems
─── languages
- Haskell29
- Nix4
- Shell2
- TeX1
- Jupyter Notebook1
- HTML1
- CSS1
─── subscriber view
Unlock the full view of dnadales
- · 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.