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
🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.
Haskell's IO simulator which closely follows core packages (base, async, stm).
Cardano Settlement Layer Documentation
This framework provides logging, benchmarking and monitoring.
Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.
Benchmarking the Cardano node
Design work for Peras protocol
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.