repos
40
ecosystems
5
languages
4
commits
2,451
─── top repos · by commits
─── repositories
40 totalThe ledger implementation and specifications of 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
Implementation of a Consensus Layer for the Ouroboros family of protocols
CDDL DSL and Testing Tools
A re-implementation of the Cardano ledger layer, replacing the Byron release
Cryptographic currency implementing Ouroboros PoS protocol
Cryptographic currency implementing Ouroboros PoS protocol
Cryptographic currency implementing Ouroboros PoS protocol
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.
Code used throughout the Cardano eco-system
The core component that is used to participate in a Cardano decentralised blockchain.
Cryptographic currency implementing Ouroboros PoS protocol
Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.
The core component that is used to participate in a Cardano decentralised blockchain.
A protolude-based custom prelude for the Cardano project
Canonical Ledger Format for Cardano
Official Wallet Backend & API for Cardano-SL
Blueprints, specifications and documentation on how to build Cardano.
Metadata for Cardano's Haskell package repository
Genetic Algorithm based randomized testing
A bydirectional proxy between the Shelly and Byron versions of the Cardano network
Alternative Haskell Infrastructure for Nixpkgs
NixOps deployment configuration for IOHK devops
This repository provides cryptographic libraries that are used in the Byron era of the Cardano node
DEPRECATED. Use input-output-hk/haskell.nix
Genetic algorithm library for Haskell. Binary and continuous (real-coded) GAs. Binary GAs: binary and Gray encoding; point mutation; one-point, two-point, and uniform crossover. Continuous GAs: Gaussian mutation; BLX-α, UNDX, and SBX crossover. Selection operators: roulette, tournament, and stochastic universal sampling (SUS); with optional niching, ranking, and scaling. Replacement strategies: generational with elitism and steady state. Constrained optimization: random constrained initialization, death penalty, constrained selection without a penalty function. Multi-objective optimization: NSGA-II and constrained NSGA-II.
Forked from cardano-crypto that handles generation of cryptic keys.
Alternative Haskell Infrastructure for Nixpkgs
nix scripts shared across projects
The Daml smart contract language
This framework provides logging, benchmarking and monitoring.
Session types framework with support of protocol pipelining.
A tool for handling the update of Cardano related git repos
daml fork of haskell/ghcide
─── peer developers
─── ecosystems
─── languages
- Haskell28
- Nix8
- C2
- Shell1
─── subscriber view
Unlock the full view of nc6
- · 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.