repos
62
ecosystems
6
languages
4
commits
5,390
─── top repos · by commits
─── repositories
62 totalSpecifications 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
Implementation of a Consensus Layer for the Ouroboros family of protocols
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.
Cryptographic currency implementing Ouroboros PoS protocol
Cryptographic currency implementing Ouroboros PoS protocol
Cryptographic currency implementing Ouroboros PoS protocol
forked Cardano SL explorer node
Official Wallet Backend & API for Cardano-SL
Cryptographic currency implementing Ouroboros PoS protocol
Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.
Library to support efficient compilation of large records (linear in the number of record fields)
Formal specification for a UTxO wallet
Haskell's IO simulator which closely follows core packages (base, async, stm).
A protolude-based custom prelude for the Cardano project
A protolude-based custom prelude for the Cardano project
The 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.
Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
Utilities built on top of `io-classes`
Code used throughout the Cardano eco-system
A bydirectional proxy between the Shelly and Byron versions of the Cardano network
Simple and incomplete Excel file parser/writer
A re-implementation of the Cardano ledger layer, replacing the Byron release
Session types framework with support of protocol pipelining.
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.
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.
Temporary fork of the Haskell node for debug logging
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.
Cardano API
This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.
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.
Marlowe smart contract language Cardano implementation
An optimizer for untyped plutus core
A library for stateful property-based testing
Node shell, a thin layer for running the node and it's modules.
Experimental version of Marlowe validators with minimal dependencies on other Haskell pacakges
Modern and extensible testing framework for Haskell
An optimizer for untyped plutus core
Modern and extensible testing framework for Haskell
Add ACID guarantees to any serializable Haskell data structure
─── peer developers
─── languages
- Haskell49
- TeX1
- Nix1
- PureScript1
─── subscriber view
Unlock the full view of edsko
- · 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.