Skip to content

@input-output-hk Input Output

Change the repository type filter

All

    Repositories list

    714 repositories

    • hackage.nix

      Public
      Automatically generated Nix expressions for Hackage
      Nix
      •19•20•0•0•Updated Jun 27, 2025Jun 27, 2025

    • haskell.nix

      Public
      Alternative Haskell Infrastructure for Nixpkgs
      nixbuild-toolhacktoberfestinfrastructurehaskellnix-expressions
      Nix
      •
      Apache License 2.0
      •247•592•160•4•Updated Jun 27, 2025Jun 27, 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•35•321•22•Updated Jun 27, 2025Jun 27, 2025

    • ouroboros-praos-formal-spec

      Public
      Formal specification of Ouroboros Praos
      Agda
      •0•1•0•0•Updated Jun 27, 2025Jun 27, 2025

    • ouroboros-leios

      Public
      Documentation and tools relating to the design and prototyping of Ouroboros Leios
      blockchainscalingcardano
      HTML
      •7•25•14•7•Updated Jun 26, 2025Jun 26, 2025

    • ImpSpec

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

    • catalyst-libs

      Public
      🌐 A collection of multi-language libraries supporting Catalyst, Cardano’s community-driven innovation platform, enabling secure voting, proposal management, and ecosystem integration.
      dartrustflutterweb3
      Rust
      •
      Apache License 2.0
      •0•4•12•7•Updated Jun 26, 2025Jun 26, 2025

    • mithril

      Public
      Stake-based threshold multi-signatures protocol
      rustblockchainscalabilitymithrilmultisigcardanocardano-nodemulti-signaturesmulti-signature-aggregation
      Rust
      •
      Apache License 2.0
      •45•141•79•4•Updated Jun 26, 2025Jun 26, 2025

    • capkgs

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

    • lace

      Public
      The Lace Wallet.
      cryptowalletlacecardano
      TypeScript
      •
      Apache License 2.0
      •11•29•5•14•Updated Jun 26, 2025Jun 26, 2025

    • partner-chains

      Public
      Substrate node with capability of communicating with Cardano network
      Rust
      •
      Apache License 2.0
      •16•58•2•16•Updated Jun 26, 2025Jun 26, 2025

    • ouroboros-leios-formal-spec

      Public
      Agda
      •0•2•0•2•Updated Jun 26, 2025Jun 26, 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•17•47•3•Updated Jun 26, 2025Jun 26, 2025

    • catalyst-ci

      Public
      Common CI workflows for Project Catalyst
      Python
      •
      Apache License 2.0
      •0•7•19•2•Updated Jun 26, 2025Jun 26, 2025

    • partner-chains-smart-contracts

      Public
      Command Line Tool and Cardano Plutus Contracts for interacting with Partner Chains.
      Haskell
      •
      Apache License 2.0
      •3•10•65•2•Updated Jun 26, 2025Jun 26, 2025

    • cardano-automation

      Public
      Automation supporting `cardano-node` development, which is also not dependent on it.
      Haskell
      •
      Apache License 2.0
      •1•0•0•0•Updated Jun 26, 2025Jun 26, 2025

    • polkadot-sdk

      Public
      The Parity Polkadot Blockchain SDK
      Rust
      •957•1•0•1•Updated Jun 26, 2025Jun 26, 2025

    • cardano-haskell-packages

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

    • acropolis

      Public
      Acropolis microservice architecture & components in Rust
      Rust
      •
      Apache License 2.0
      •0•5•18•3•Updated Jun 25, 2025Jun 25, 2025

    • iogx

      Public
      Flake Template for Haskell Projects
      Nix
      •9•25•1•1•Updated Jun 25, 2025Jun 25, 2025

    • cardano-js-sdk

      Public
      JavaScript SDK for interacting with Cardano, providing various key management options, with support for popular hardware wallets
      TypeScript
      •
      Apache License 2.0
      •63•224•2•8•Updated Jun 25, 2025Jun 25, 2025

    • catalyst-onchain-libs

      Public
      Haskell
      •1•3•3•0•Updated Jun 25, 2025Jun 25, 2025

    • ouroboros-network-ops

      Public
      Just
      •
      Apache License 2.0
      •1•1•0•0•Updated Jun 24, 2025Jun 24, 2025

    • cardano-playground

      Public
      Cardano testnet clusters
      HTML
      •
      Apache License 2.0
      •5•5•0•1•Updated Jun 24, 2025Jun 24, 2025

    • cardano-parts

      Public
      Nix flake parts for cardano clusters
      Nix
      •
      Apache License 2.0
      •3•8•2•1•Updated Jun 24, 2025Jun 24, 2025

    • essential-cardano-content

      Public
      JavaScript
      •5•4•1•8•Updated Jun 24, 2025Jun 24, 2025

    • caryatid

      Public
      Caryatid Event-based Modular Framework
      Rust
      •
      Apache License 2.0
      •1•6•4•0•Updated Jun 24, 2025Jun 24, 2025

    • cuddle

      Public
      CDDL DSL and Testing Tools
      cborcddl
      Haskell
      •
      Apache License 2.0
      •4•6•16•1•Updated Jun 24, 2025Jun 24, 2025

    • lace-ui-toolkit

      Public
      Lace UI Toolkit library
      TypeScript
      •
      Apache License 2.0
      •1•1•0•17•Updated Jun 24, 2025Jun 24, 2025

    • hedgehog-extras

      Public
      Haskell
      •
      Apache License 2.0
      •5•2•0•0•Updated Jun 23, 2025Jun 23, 2025