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 296

Repositories

Showing 10 of 777 repositories
  • 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 11 Apache-2.0 3 0 9 Updated Oct 20, 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 20, 2026
  • fusion-flamingo Public

    Development repository for the fusion-flamingo team

    input-output-hk/fusion-flamingo's past year of commit activity
    Shell 0 Apache-2.0 0 0 7 Updated Oct 20, 2026
  • leios-tools Public

    Simulation and adversarial test tools for Leios

    input-output-hk/leios-tools's past year of commit activity
    Rust 1 Apache-2.0 2 3 4 Updated Oct 20, 2026
  • 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 63 20 98 22 Updated Oct 20, 2026
  • categorical-crypto Public

    A library for composable state machines and cryptography

    input-output-hk/categorical-crypto's past year of commit activity
    Agda 3 1 0 6 Updated Oct 20, 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 7 5 20 Updated Oct 20, 2026
  • Lean-blaster Public

    SMT-based reasoning core for Lean4

    input-output-hk/Lean-blaster's past year of commit activity
    Lean 59 Apache-2.0 13 175 69 Updated Oct 20, 2026
  • 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 1 0 2 Updated Oct 20, 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 296 9 7 Updated Oct 20, 2026
View all repositories