repos
56
ecosystems
6
languages
3
commits
3,835
─── top repos · by commits
─── repositories
56 totalCryptographic currency implementing Ouroboros PoS protocol
Cryptographic currency implementing Ouroboros PoS protocol
Cryptographic currency implementing Ouroboros PoS protocol
forked Cardano SL explorer node
Cryptographic currency implementing Ouroboros PoS protocol
Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.
A bydirectional proxy between the Shelly and Byron versions of the Cardano network
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
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.
Repository for modeling ideas of distributed systems networking and implementing sketches of these ideas
Official Wallet Backend & API for Cardano-SL
The ledger implementation and specifications of the Cardano blockchain.
A re-implementation of the Cardano ledger layer, replacing the Byron release
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.
Wrapper around hslogger library to provide more convenient monadic interface with pretty output
Simple tracing by way of contravariant functors
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
Alternative Haskell Infrastructure for Nixpkgs
Alternative Haskell Infrastructure for Nixpkgs
A haskell library implementing the Kademlia DHT
A Haskell library implementing the Kademlia DHT
Monad Transformers and Classes
Node shell, a thin layer for running the node and it's modules.
Session types framework with support of protocol pipelining.
Ad-hoc type classes for lifting transformers operations
Persistence interface for Haskell allowing multiple storage methods.
A powerful but simple library for measuring the performance of Haskell code.
Code used throughout the Cardano eco-system
Haskell's IO simulator which closely follows core packages (base, async, stm).
A Haskell server implementation of the Engine.IO and Socket.IO (1.0) protocols
DEPRECATED. Use input-output-hk/haskell.nix
─── peer developers
─── languages
- Haskell43
- Nix4
- HTML1
─── subscriber view
Unlock the full view of avieth
- · 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.