Skip to content
@input-output-hk

Input Output

Pinned Loading

  1. adrestia adrestia Public archive

    APIs & SDK for interacting with Cardano.

    Markdown 181 43

  2. daedalus daedalus Public

    The open source cryptocurrency wallet for ada, built to grow with the community

    TypeScript 1.2k 298

Repositories

Showing 10 of 740 repositories
  • ouroboros-leios Public

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

    input-output-hk/ouroboros-leios’s past year of commit activity
    Jupyter Notebook 29 9 27 5 Updated Nov 17, 2025
  • catalyst-ci Public

    Common CI workflows for Project Catalyst

    input-output-hk/catalyst-ci’s past year of commit activity
    Python 7 Apache-2.0 0 19 (4 issues need help) 8 Updated Nov 17, 2025
  • hackage.nix Public

    Automatically generated Nix expressions for Hackage

    input-output-hk/hackage.nix’s past year of commit activity
    Nix 21 19 0 0 Updated Nov 17, 2025
  • Lean-blaster Public

    SMT-based reasoning core for Lean4

    input-output-hk/Lean-blaster’s past year of commit activity
    Lean 6 Apache-2.0 1 4 2 Updated Nov 17, 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.

    input-output-hk/catalyst-voices’s past year of commit activity
    Dart 39 Apache-2.0 9 263 (5 issues need help) 22 Updated Nov 17, 2025
  • 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.

    input-output-hk/catalyst-libs’s past year of commit activity
    Rust 4 Apache-2.0 1 16 13 Updated Nov 17, 2025
  • mithril Public

    Stake-based threshold multi-signatures protocol

    input-output-hk/mithril’s past year of commit activity
    Rust 144 Apache-2.0 52 97 (2 issues need help) 6 Updated Nov 17, 2025
  • partner-chains Public

    Substrate node with capability of communicating with Cardano network

    input-output-hk/partner-chains’s past year of commit activity
    Rust 64 Apache-2.0 24 4 24 Updated Nov 17, 2025
  • acropolis Public

    Acropolis microservice architecture & components in Rust

    input-output-hk/acropolis’s past year of commit activity
    Rust 10 Apache-2.0 5 68 (2 issues need help) 3 Updated Nov 17, 2025
  • iogx Public

    Flake Template for Haskell Projects

    input-output-hk/iogx’s past year of commit activity
    Nix 25 9 1 1 Updated Nov 17, 2025
View all repositories