Skip to content
@input-output-hk

Input Output

Pinned Loading

  1. adrestia adrestia Public archive

    APIs & SDK for interacting with Cardano.

    Markdown 181 41

  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 774 repositories
  • daedalus Public

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

    input-output-hk/daedalus's past year of commit activity
    TypeScript 1,247 Apache-2.0 298 18 10 Updated Oct 1, 2026
  • input-output-hk/cardano-node-tests-antithesis's past year of commit activity
    Python 0 Apache-2.0 0 1 0 Updated Oct 1, 2026
  • capkgs Public

    Content Addressed Packages

    input-output-hk/capkgs's past year of commit activity
    Crystal 7 Apache-2.0 3 0 0 Updated Oct 1, 2026
  • hackage.nix Public

    Automatically generated Nix expressions for Hackage

    input-output-hk/hackage.nix's past year of commit activity
    Nix 20 19 0 0 Updated Oct 1, 2026
  • devx-updates Public

    Updates on IOG's Developer Experience Initiative

    input-output-hk/devx-updates's past year of commit activity
    TypeScript 1 Apache-2.0 7 123 (1 issue needs help) 2 Updated Oct 1, 2026
  • input-output-hk/sc-testing-tools-vs-extension's past year of commit activity
    TypeScript 2 Apache-2.0 0 0 3 Updated Oct 1, 2026
  • 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 Oct 1, 2026
  • input-output-hk/sc-testing-tools-tutorial's past year of commit activity
    Haskell 0 Apache-2.0 0 0 0 Updated Oct 1, 2026
  • haskell.nix Public

    Alternative Haskell Infrastructure for Nixpkgs

    input-output-hk/haskell.nix's past year of commit activity
    Nix 632 Apache-2.0 266 86 (18 issues need help) 23 Updated Oct 1, 2026
  • categorical-crypto Public

    A library for composable state machines and cryptography

    input-output-hk/categorical-crypto's past year of commit activity
    Agda 2 1 0 4 Updated Oct 1, 2026