Skip to content

@input-output-hk Input Output

Change the repository type filter

All

    Repositories list

    734 repositories

    • hackage.nix

      Public
      Automatically generated Nix expressions for Hackage
      Nix
      •19•21•0•0•Updated Oct 4, 2025Oct 4, 2025

    • catalyst-forge-docs

      Public
      Documentation for the Catalyst Forge developer platform
      MIT License
      •0•0•0•0•Updated Oct 4, 2025Oct 4, 2025

    • catalyst_flutter_rust_bridge

      Public
      Flutter/Dart <-> Rust binding generator, feature-rich, but seamless and simple.
      Dart
      •
      MIT License
      •361•0•0•0•Updated Oct 4, 2025Oct 4, 2025

    • haskell.nix

      Public
      Alternative Haskell Infrastructure for Nixpkgs
      nixbuild-toolhacktoberfestinfrastructurehaskellnix-expressions
      Nix
      •
      Apache License 2.0
      •252•607•166•5•Updated Oct 4, 2025Oct 4, 2025

    • cardano-parameters

      Public
      Cardano network parameters which are updated regularly from Blockfrost
      Shell
      •
      Apache License 2.0
      •0•1•0•0•Updated Oct 4, 2025Oct 4, 2025

    • partner-chains

      Public
      Substrate node with capability of communicating with Cardano network
      Rust
      •
      Apache License 2.0
      •22•64•2•16•Updated Oct 3, 2025Oct 3, 2025

    • lace

      Public
      The Lace Wallet.
      cryptowalletlacecardano
      TypeScript
      •
      Apache License 2.0
      •13•34•5•21•Updated Oct 3, 2025Oct 3, 2025

    • mithril

      Public
      Stake-based threshold multi-signatures protocol
      rustblockchainscalabilitymithrilmultisigcardanocardano-nodemulti-signaturesmulti-signature-aggregation
      Rust
      •
      Apache License 2.0
      •49•142•91•9•Updated Oct 3, 2025Oct 3, 2025

    • mastering-cardano

      Public
      repository for the book project "Mastering Cardano"
      CSS
      •
      Other
      •8•21•1•1•Updated Oct 3, 2025Oct 3, 2025

    • acropolis

      Public
      Acropolis microservice architecture & components in Rust
      Rust
      •
      Apache License 2.0
      •3•9•70•6•Updated Oct 3, 2025Oct 3, 2025

    • cuddle

      Public
      CDDL DSL and Testing Tools
      cborcddl
      Haskell
      •
      Apache License 2.0
      •4•6•19•5•Updated Oct 3, 2025Oct 3, 2025

    • essential-cardano-content

      Public
      JavaScript
      •6•5•1•1•Updated Oct 3, 2025Oct 3, 2025

    • ouroboros-leios

      Public
      Documentation and tools relating to the design and prototyping of Ouroboros Leios
      blockchainscalingcardano
      Jupyter Notebook
      •9•27•22•4•Updated Oct 3, 2025Oct 3, 2025

    • cardano-documentation

      Public
      TypeScript
      •
      Creative Commons Attribution 4.0 International
      •166•277•0•0•Updated Oct 3, 2025Oct 3, 2025

    • catalyst-ci

      Public
      Common CI workflows for Project Catalyst
      Python
      •
      Apache License 2.0
      •0•7•19•11•Updated Oct 3, 2025Oct 3, 2025

    • ouroboros-leios-formal-spec

      Public
      Formal specification of the Ouroboros Leios protocol variants
      Agda
      •
      Apache License 2.0
      •0•3•3•1•Updated Oct 3, 2025Oct 3, 2025

    • stackage.nix

      Public
      Automatically generated Nix expressions of Stackage snapshots
      Nix
      •8•12•0•0•Updated Oct 3, 2025Oct 3, 2025

    • ImpSpec

      Public
      Haskell imperative test framework built on top of HSpec and QuickCheck
      Haskell
      •
      Apache License 2.0
      •0•2•1•1•Updated Oct 2, 2025Oct 2, 2025

    • cardano-playground

      Public
      Cardano testnet clusters
      HTML
      •
      Apache License 2.0
      •5•5•0•1•Updated Oct 2, 2025Oct 2, 2025

    • cardano-parts

      Public
      Nix flake parts for cardano clusters
      Nix
      •
      Apache License 2.0
      •4•8•2•1•Updated Oct 2, 2025Oct 2, 2025

    • typed-protocols

      Public
      Session types framework with support of protocol pipelining.
      haskellnetworkprotocolssession-types
      Haskell
      •
      Apache License 2.0
      •6•15•4•2•Updated Oct 2, 2025Oct 2, 2025

    • Clever-lean

      Public
      SMT-based reasoning core for Lean4
      Lean
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 2, 2025Oct 2, 2025

    • testgen-hs

      Public
      CBOR test case generator and deserializer for cross-checking other implementations
      Haskell
      •
      Apache License 2.0
      •0•1•0•1•Updated Oct 2, 2025Oct 2, 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.
      dartrustflutterweb3catalystcardano
      Dart
      •
      Apache License 2.0
      •9•38•267•29•Updated Oct 2, 2025Oct 2, 2025

    • fs-sim

      Public
      Haskell libraries for file system simulation
      Haskell
      •
      Apache License 2.0
      •6•1•16•2•Updated Oct 2, 2025Oct 2, 2025

    • capkgs

      Public
      Content Addressed Packages
      nixcontent-addressed
      Crystal
      •
      Apache License 2.0
      •3•6•0•0•Updated Oct 2, 2025Oct 2, 2025

    • plu-stan

      Public
      Static Analyzer for PlutusTx based on the Haskell STAN static analyzer
      Haskell
      •
      Mozilla Public License 2.0
      •53•3•1•2•Updated Oct 2, 2025Oct 2, 2025

    • daedalus

      Public
      The open source cryptocurrency wallet for ada, built to grow with the community
      TypeScript
      •
      Apache License 2.0
      •301•1.2k•97•34•Updated Oct 2, 2025Oct 2, 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.
      rustwasmflutterweb3
      Rust
      •
      Apache License 2.0
      •2•19•60•11•Updated Oct 1, 2025Oct 1, 2025

    • cardano-haskell-packages

      Public
      Mirror of IntersectMBO/cardano-haskell-packages
      1•0•0•0•Updated Oct 1, 2025Oct 1, 2025