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 296

Repositories

Showing 10 of 746 repositories
  • 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 13, 2025
  • Lean-blaster Public

    SMT-based reasoning core for Lean4

    input-output-hk/Lean-blaster’s past year of commit activity
    Lean 11 Apache-2.0 1 6 2 Updated Dec 13, 2025
  • haskell.nix Public

    Alternative Haskell Infrastructure for Nixpkgs

    input-output-hk/haskell.nix’s past year of commit activity
    Nix 615 Apache-2.0 259 166 (35 issues need help) 4 Updated Dec 13, 2025
  • cardano-parameters Public

    Cardano network parameters which are updated regularly from Blockfrost

    input-output-hk/cardano-parameters’s past year of commit activity
    Shell 1 Apache-2.0 0 0 0 Updated Dec 13, 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 109 (2 issues need help) 7 Updated Dec 12, 2025
  • plinth-static-analyzer-research Public

    Research repository for the Plu-stan analyzer

    input-output-hk/plinth-static-analyzer-research’s past year of commit activity
    0 Apache-2.0 0 0 0 Updated Dec 12, 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 65 Apache-2.0 26 4 23 Updated Dec 12, 2025
  • lace Public

    The Lace Wallet.

    input-output-hk/lace’s past year of commit activity
    TypeScript 41 Apache-2.0 16 5 24 Updated Dec 12, 2025
  • acropolis Public

    Acropolis modular node architecture & components in Rust

    input-output-hk/acropolis’s past year of commit activity
    Rust 11 Apache-2.0 6 105 (2 issues need help) 7 Updated Dec 12, 2025
  • cardano-parts Public

    Nix flake parts for cardano clusters

    input-output-hk/cardano-parts’s past year of commit activity
    Nix 9 Apache-2.0 4 2 1 Updated Dec 12, 2025
View all repositories