Repositories list

• catalyst-libs

  Public
  🌐 A collection of multi-language libraries supporting Catalyst, Cardano’s community-driven innovation platform, enabling secure voting, proposal management, and ecosystem integration.

  dartrustflutter+ 1web3

  Rust

  •

  Apache License 2.0

  •1•4•20•14•Updated Dec 2, 2025Dec 2, 2025

• flutter-quill

  Public

  input-output-hk/flutter-quill’s past year of commit activity
  Rich text editor for Flutter

  Dart

  •

  MIT License

  •996•0•0•0•Updated Dec 2, 2025Dec 2, 2025

• markdown_quill

  Public

  input-output-hk/markdown_quill’s past year of commit activity
  Convert quill (Delta) fromat to and from markdown

  Dart

  •

  MIT License

  •64•0•0•0•Updated Dec 2, 2025Dec 2, 2025

• catalyst-voices

  Public
  🎙️ Catalyst Voices provides a unified experience and platform including production-ready liquid democracy, meaningful collaboration opportunities & data-driven context for better onboarding & decisions.

  dartrustflutter+ 3web3catalystcardano

  Dart

  •

  Apache License 2.0

  •9•40•256•19•Updated Dec 2, 2025Dec 2, 2025

• mithril

  Public

  input-output-hk/mithril’s past year of commit activity
  Stake-based threshold multi-signatures protocol

  rustblockchainscalability+ 6mithrilmultisigcardanocardano-nodemulti-signaturesmulti-signature-aggregation

  Rust

  •

  Apache License 2.0

  •52•146•119•4•Updated Dec 2, 2025Dec 2, 2025

• lace

  Public

  input-output-hk/lace’s past year of commit activity
  The Lace Wallet.

  cryptowalletlace+ 1cardano

  TypeScript

  •

  Apache License 2.0

  •15•41•5•25•Updated Dec 2, 2025Dec 2, 2025

• ouroboros-leios-formal-spec

  Public

  input-output-hk/ouroboros-leios-formal-spec’s past year of commit activity
  Formal specification of the Ouroboros Leios protocol variants

  Agda

  •

  Apache License 2.0

  •0•4•5•2•Updated Dec 2, 2025Dec 2, 2025

• hermes

  Public
  🏛️ Hermes is a high-availability blockchain voting database that acts as a distributed storage and event processor for voting events, proposals, and actions.

  rustwasmflutter+ 1web3

  Rust

  •

  Apache License 2.0

  •3•20•58•9•Updated Dec 2, 2025Dec 2, 2025

• partner-chains

  Public

  input-output-hk/partner-chains’s past year of commit activity
  Substrate node with capability of communicating with Cardano network

  Rust

  •

  Apache License 2.0

  •24•65•4•19•Updated Dec 2, 2025Dec 2, 2025

• haskell.nix

  Public

  input-output-hk/haskell.nix’s past year of commit activity
  Alternative Haskell Infrastructure for Nixpkgs

  infrastructurehaskellnix+ 3build-toolhacktoberfestnix-expressions

  Nix

  •

  Apache License 2.0

  •260•612•167•9•Updated Dec 2, 2025Dec 2, 2025

• hackage.nix

  Public
  Automatically generated Nix expressions for Hackage

  Nix

  •19•21•0•0•Updated Dec 2, 2025Dec 2, 2025

• ouroboros-leios

  Public
  Documentation and tools relating to the design and prototyping of Ouroboros Leios

  blockchainscalingcardano

  Jupyter Notebook

  •9•31•26•6•Updated Dec 2, 2025Dec 2, 2025

• cardano-clusterlib-py

  Public
  Python wrapper for cardano-cli for working with cardano cluster

  Python

  •

  Apache License 2.0

  •13•21•0•1•Updated Dec 2, 2025Dec 2, 2025

• innovation-cavefish

  Public
  Light client prototype feature type for UTxO- based blockchains for submitting transactions privately

  TeX

  •

  Apache License 2.0

  •0•0•32•3•Updated Dec 2, 2025Dec 2, 2025

• acropolis

  Public
  Acropolis modular node architecture & components in Rust

  Rust

  •

  Apache License 2.0

  •5•11•108•6•Updated Dec 2, 2025Dec 2, 2025

• cardano-parameters

  Public
  Cardano network parameters which are updated regularly from Blockfrost

  Shell

  •

  Apache License 2.0

  •0•1•0•0•Updated Dec 2, 2025Dec 2, 2025

• stackage.nix

  Public
  Automatically generated Nix expressions of Stackage snapshots

  Nix

  •8•12•0•0•Updated Dec 2, 2025Dec 2, 2025

• caryatid

  Public
  Caryatid Event-based Modular Framework

  Rust

  •

  Apache License 2.0

  •4•7•6•1•Updated Dec 1, 2025Dec 1, 2025

• catalyst-ci

  Public
  Common CI workflows for Project Catalyst

  Python

  •

  Apache License 2.0

  •0•7•20•7•Updated Dec 1, 2025Dec 1, 2025

• engineering

  Public
  Sources for the IOG Engineering blog

  JavaScript

  •11•4•0•2•Updated Dec 1, 2025Dec 1, 2025

• plutus-halo2-verifier-gen

  Public
  Tool to enable proof verification on Cardano blockchain

  Rust

  •

  Apache License 2.0

  •2•5•8•3•Updated Dec 1, 2025Dec 1, 2025

• capkgs

  Public
  Content Addressed Packages

  nixcontent-addressed

  Crystal

  •

  Apache License 2.0

  •3•6•0•0•Updated Dec 1, 2025Dec 1, 2025

• constrained-generators

  Public
  Framework for generating constrained random data using a subset of first order logic

  Haskell

  •

  Apache License 2.0

  •0•3•16•2•Updated Dec 1, 2025Dec 1, 2025

• wsc-poc

  Public
  PoC for stablecoin with freeze and seize functionalities

  Haskell

  •10•18•7•3•Updated Dec 1, 2025Dec 1, 2025

• mastering-cardano

  Public
  repository for the book project "Mastering Cardano"

  CSS

  •

  Other

  •11•34•1•2•Updated Dec 1, 2025Dec 1, 2025

• cardano-haskell-packages

  Public
  Mirror of IntersectMBO/cardano-haskell-packages

  1•0•0•0•Updated Dec 1, 2025Dec 1, 2025

• iogx

  Public
  Flake Template for Haskell Projects

  Nix

  •9•25•1•1•Updated Dec 1, 2025Dec 1, 2025

• foliage

  Public

  input-output-hk/foliage’s past year of commit activity
  🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.

  haskell

  Haskell

  •

  MIT License

  •9•43•21•6•Updated Nov 30, 2025Nov 30, 2025

• devx

  Public
  The Developer Experience Shell - This repo contains a nix develop shell for haskell. Its primary purpose is to help get a development shell for haskell quickly and across multiple operating systems (and architectures).

  hacktoberfest

  Nix

  •

  Apache License 2.0

  •10•51•21•6•Updated Nov 30, 2025Nov 30, 2025

• ci-world

  Public
  Nix

  •

  Apache License 2.0

  •1•2•0•3•Updated Nov 30, 2025Nov 30, 2025