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
  • Blaster-benchmarking Public

    Benchmarking examples for Blaster, the Lean4 tactic for Automated Theorem Proving

    input-output-hk/Blaster-benchmarking's past year of commit activity
    Lean 0 Apache-2.0 0 0 1 Updated Oct 2, 2026
  • CardanoLedgerApiBlaster Public

    Cardano Ledger Api providing the necessary types and predicates to prove Plutus smart contracts with Blaster

    input-output-hk/CardanoLedgerApiBlaster's past year of commit activity
    Lean 10 Apache-2.0 2 0 2 Updated Oct 2, 2026
  • PlutusCoreBlaster Public

    Plutus Core, CEK Machine in Lean 4, tailored for Blaster usage

    input-output-hk/PlutusCoreBlaster's past year of commit activity
    Lean 14 Apache-2.0 6 5 23 Updated Oct 2, 2026
  • Lean-blaster Public

    SMT-based reasoning core for Lean4

    input-output-hk/Lean-blaster's past year of commit activity
    Lean 58 Apache-2.0 11 131 42 Updated Oct 2, 2026
  • 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 15 4 Updated Oct 2, 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 2, 2026
  • cardano-haskell-packages Public

    Mirror of IntersectMBO/cardano-haskell-packages

    input-output-hk/cardano-haskell-packages's past year of commit activity
    0 1 0 0 Updated Oct 2, 2026
  • essential-cardano-content Public
    input-output-hk/essential-cardano-content's past year of commit activity
    JavaScript 5 4 1 0 Updated Oct 2, 2026
  • kes-agent Public

    KES agent provides a solution for storing KES keys in-process, in order to allow them to be erased securely and enable forward security in the Cardano blockchain.

    input-output-hk/kes-agent's past year of commit activity
    Haskell 2 Apache-2.0 13 18 1 Updated Oct 2, 2026
  • cardano-init Public

    Go from zero to a running Cardano protocol in one command

    input-output-hk/cardano-init's past year of commit activity
    Rust 12 Apache-2.0 5 21 3 Updated Oct 2, 2026
View all repositories