Repositories (21)
Cryptographic currency implementing Ouroboros PoS protocol
The Plutus language implementation and tools
Alternative Haskell Infrastructure for Nixpkgs
Implementation of the Hydra Head protocol
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.
A Scala based client for Ethereum-like Blockchains.
A starter project for Plutus apps
APIs & SDK for interacting with Cardano.
Generate nix expressions for Haskell projects
Translate Cabals Generic Package Description to a Nix expression
Stake-based threshold multi-signatures protocol
Haskell's IO simulator which closely follows core packages (base, async, stm).
🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.
This framework provides logging, benchmarking and monitoring.
Cardano Settlement Layer Documentation
A library for stateful property-based testing
Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.
Benchmarking the Cardano node
A Marlowe Runtime client for AWS Lambda. This package has been deprecated and is no longer maintained. Please use https://github.com/input-output-hk/marlowe-cardano/tree/main/marlowe-runtime/web-server-app instead.
Design work for Peras protocol
Documentation, Specification, and Design for an Extended Anti-Grinding Feature in Ouroboros Praos and Beyond