A handbook covering cross-project policies and information for projects in the Cardano Open Source Consortium
☆15May 18, 2023Updated 3 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Metadata for Cardano's Haskell package repository☆36Jun 10, 2026Updated last 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 3 years ago
- Cardano API☆39Updated this week
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆54May 15, 2026Updated last month
- Formal specifications of the Cardano ledger☆50Jun 9, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- https://cardano-foundation.github.io/state-of-the-developer-ecosystem/2024/☆16Dec 18, 2025Updated 6 months ago
- Session types framework with support of protocol pipelining.☆16May 14, 2026Updated last month
- A unified framework for Cardano Smart Contract testing and benchmarking m☆21Feb 7, 2026Updated 4 months ago
- A realworld implementation using purescript-deku☆10Apr 28, 2024Updated 2 years ago
- Minimal reproducible nix flake templates☆16May 18, 2026Updated last month
- Flake Template for Haskell Projects☆26Updated this week
- A common place for finding / maintaining configurations of various services of the Cardano eco-system☆25Dec 14, 2024Updated last year
- Propositional Logic Apropos Types☆15Feb 21, 2023Updated 3 years ago
- The Developer Experience Shell - This repo contains a nix develop shell for haskell. Its primary purpose is to help get a development she…☆50Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Initially started as my own personal lecture notes. Slowly, I'm converting this repo into an extremely detailed set of notes to help futu…☆21Sep 26, 2025Updated 8 months ago
- Events, behaviors, and uneventful misbehaving☆17Apr 13, 2026Updated 2 months ago
- Application backend for Plutus smart contracts on Cardano☆74Feb 3, 2026Updated 4 months ago
- ☆24Apr 9, 2024Updated 2 years ago
- System and end-to-end (E2E) tests for cardano-node.☆59Updated this week
- Cardano world provides preprod and preview cardano networks, configuration documentation and miscellaneous automation.☆31Jun 3, 2026Updated 2 weeks ago
- ☆43May 29, 2026Updated 2 weeks ago
- ☆17Mar 3, 2026Updated 3 months ago
- Documentation and tools relating to the design and prototyping of Ouroboros Leios☆44Jun 11, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Haskell/Nix development build tools☆44May 10, 2026Updated last month
- Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.☆19Jun 8, 2026Updated last week
- A collection of awesome Purescript libraries, resources and shiny things.☆19Jul 25, 2023Updated 2 years ago
- Top level repository for building the Cardano Haskell node and related components and dependencies.☆24Apr 3, 2023Updated 3 years ago
- Stake-based threshold multi-signatures protocol☆152Updated this week
- Code used throughout the Cardano eco-system☆104Updated this week
- A library for stateful property-based testing☆35May 4, 2026Updated last month
- Easily build canvas applications in PureScript — Compatible with Halogen☆16May 22, 2026Updated 3 weeks ago
- 🏛️ Hermes is a high-availability blockchain voting database that acts as a distributed storage and event processor for voting events, pr…☆19May 18, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Off-chain code to interact with Genius Yield DEX contracts☆18Jan 12, 2026Updated 5 months ago
- Typed eDSL for writing UPLC /ˈpluː.tɑːk/☆134Updated this week
- Helper libraries for Plutus.☆49Aug 10, 2022Updated 3 years ago
- ☆15Mar 15, 2023Updated 3 years ago
- ☆76Jun 5, 2023Updated 3 years ago
- Language-generic workbench for building static analysis☆46Oct 5, 2023Updated 2 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