Skip to content

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 297

Repositories

Showing 10 of 748 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 31 9 64 6 Updated Dec 19, 2025
  • hackage.nix Public

    Automatically generated Nix expressions for Hackage

    input-output-hk/hackage.nix’s past year of commit activity
    Nix 21 18 0 0 Updated Dec 19, 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 40 Apache-2.0 9 269 (5 issues need help) 17 Updated Dec 19, 2025
  • plutus-halo2-verifier-gen Public

    Tool to enable proof verification on Cardano blockchain

    input-output-hk/plutus-halo2-verifier-gen’s past year of commit activity
    Rust 5 Apache-2.0 3 6 (3 issues need help) 3 Updated Dec 19, 2025
  • mithril Public

    Stake-based threshold multi-signatures protocol

    input-output-hk/mithril’s past year of commit activity
    Rust 146 Apache-2.0 52 111 (2 issues need help) 7 Updated Dec 19, 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 34 4 Updated Dec 19, 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 23 (4 issues need help) 6 Updated Dec 19, 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.

    input-output-hk/hermes’s past year of commit activity
    Rust 20 Apache-2.0 3 56 (1 issue needs help) 2 Updated Dec 19, 2025
  • ouroboros-leios-formal-spec Public

    Formal specification of the Ouroboros Leios protocol variants

    input-output-hk/ouroboros-leios-formal-spec’s past year of commit activity
    Agda 4 Apache-2.0 0 5 2 Updated Dec 19, 2025
  • lace Public

    The Lace Wallet.

    input-output-hk/lace’s past year of commit activity
    TypeScript 41 Apache-2.0 17 5 26 Updated Dec 19, 2025