input-output-hk / cardano-engineering-handbookView external linksLinks
A handbook covering cross-project policies and information for projects in the Cardano Open Source Consortium
☆15May 18, 2023Updated 2 years ago
Alternatives and similar repositories for cardano-engineering-handbook
Users that are interested in cardano-engineering-handbook are comparing it to the libraries listed below
Sorting:
- Metadata for Cardano's Haskell package repository☆36Updated this week
- Up-to-data version of plutus-scaffold. It's a fuller example utilizing ctl, see the overview in README. This project contains the build s…☆10May 23, 2023Updated 2 years ago
- https://cardano-foundation.github.io/state-of-the-developer-ecosystem/2024/☆16Dec 18, 2025Updated last month
- A unified framework for Cardano Smart Contract testing and benchmarking m☆22Feb 7, 2026Updated last week
- Cardano API☆40Updated this week
- Formal specifications of the Cardano ledger☆50Updated this week
- ☆24Apr 9, 2024Updated last year
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆52Jan 29, 2026Updated 2 weeks ago
- A realworld implementation using purescript-deku☆10Apr 28, 2024Updated last year
- Flake Template for Haskell Projects☆26Feb 9, 2026Updated last week
- A common place for finding / maintaining configurations of various services of the Cardano eco-system☆25Dec 14, 2024Updated last year
- The Developer Experience Shell - This repo contains a nix develop shell for haskell. Its primary purpose is to help get a development she…☆51Feb 10, 2026Updated last week
- Minimal reproducible nix flake templates☆17Feb 8, 2026Updated last week
- Documentation and tools relating to the design and prototyping of Ouroboros Leios☆36Updated this week
- Cardano world provides preprod and preview cardano networks, configuration documentation and miscellaneous automation.☆31Oct 22, 2025Updated 3 months ago
- System and end-to-end (E2E) tests for cardano-node.☆58Updated this week
- Session types framework with support of protocol pipelining.☆16Feb 6, 2026Updated last week
- Propositional Logic Apropos Types☆15Feb 21, 2023Updated 2 years ago
- Stake-based threshold multi-signatures protocol☆146Updated this week
- Off-chain code to interact with Genius Yield DEX contracts☆18Jan 12, 2026Updated last month
- Events, behaviors, and uneventful misbehaving☆17Sep 4, 2024Updated last year
- Easily build canvas applications in PureScript — Compatible with Halogen☆15Oct 18, 2025Updated 3 months ago
- A collection of awesome Purescript libraries, resources and shiny things.☆18Jul 25, 2023Updated 2 years ago
- Haskell/Nix development build tools☆42Feb 5, 2026Updated last week
- Code used throughout the Cardano eco-system☆103Updated this week
- Application backend for Plutus smart contracts on Cardano☆76Feb 3, 2026Updated last week
- ☆17Mar 1, 2025Updated 11 months ago
- ☆15Mar 15, 2023Updated 2 years ago
- ☆42Updated this week
- ☆19Jan 12, 2026Updated last month
- ⚙️ Core Catalyst Governance Engine and utilities.☆40Dec 11, 2025Updated 2 months ago
- 🏛️ Hermes is a high-availability blockchain voting database that acts as a distributed storage and event processor for voting events, pr…☆20Feb 6, 2026Updated last week
- A collection of all the content from NixCon Paris 2022 and beyond☆54Apr 30, 2024Updated last year
- Language-generic workbench for building static analysis☆46Oct 5, 2023Updated 2 years ago
- Issues and proposals related to the HF Stability Working Group☆28Jan 7, 2026Updated last month
- Typed eDSL for writing UPLC /ˈpluː.tɑːk/☆133Feb 8, 2026Updated last week
- Helper libraries for Plutus.☆49Aug 10, 2022Updated 3 years ago
- A Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reas…☆55Nov 24, 2024Updated last year
- The Lace Wallet.☆42Updated this week