repos
54
ecosystems
5
languages
2
commits
6,668
─── top repos · by commits
─── repositories
54 totalThe 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.
The ledger implementation and specifications of the Cardano blockchain.
Code used throughout the Cardano eco-system
A formal specification and executable model of the ledger rules introduced by the Shelley release
Consume Cardano blocks as a stream
Metadata for Cardano's Haskell package repository
Metadata for Cardano's Haskell package repository
Implementation of a Consensus Layer for the Ouroboros family of protocols
Cardano API
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.
Cardano API
Cardano API
Implementation of a Consensus Layer for the Ouroboros family of protocols
This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano 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
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.
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.
Implementation of a Consensus Layer for the Ouroboros family of protocols
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.
CDDL DSL and Testing Tools
Haskell imperative test framework built on top of HSpec and QuickCheck
The core component that is used to participate in a Cardano decentralised blockchain.
Lock-free threadsafe pinned memory pool manager
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.
The core component that is used to participate in a Cardano decentralised blockchain.
Cryptographic currency implementing Ouroboros PoS protocol
A protolude-based custom prelude for the Cardano project
Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.
Cryptographic currency implementing Ouroboros PoS protocol
Cryptographic currency implementing Ouroboros PoS protocol
Cryptographic currency implementing Ouroboros PoS protocol
forked Cardano SL explorer node
Addresses and mnemonic manipulation & derivations
The Plutus language implementation and tools
Addresses and mnemonic manipulation & derivations
The Plutus language implementation and tools
The Plutus language implementation and tools
The core component that is used to participate in a Cardano decentralised blockchain.
The Plutus language implementation and tools
The core component that is used to participate in a Cardano decentralised blockchain.
Addresses and mnemonic manipulation & derivations
Persistence interface for Haskell allowing multiple storage methods.
The core component that is used to participate in a Cardano decentralised blockchain.
The Plutus language implementation and tools
─── peer developers
─── languages
- Haskell43
- Shell2
─── subscriber view
Unlock the full view of lehins
- · 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.