Pinned Repositories
adrestia
APIs & SDK for interacting with Cardano.
cardano-documentation
cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
daedalus
The open source cryptocurrency wallet for ada, built to grow with the community
haskell-course
This course is designed to teach non-engineers (e.g., self-taught/bootcamp coders) Haskell from zero to productive in an interactive, easy-to-follow way.
haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
jormungandr
privacy voting blockchain node
nami
Nami Wallet is a browser based wallet extension to interact with the Cardano blockchain. Support requests: https://iohk.zendesk.com/hc/en-us/requests/new
plutus-pioneer-program
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.
Scorex
Modular blockchain framework. Public domain
Input Output's Repositories
input-output-hk/daedalus
The open source cryptocurrency wallet for ada, built to grow with the community
input-output-hk/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
input-output-hk/cardano-documentation
input-output-hk/cardano-js-sdk
JavaScript SDK for interacting with Cardano, providing various key management options, with support for popular hardware wallets
input-output-hk/mithril
Stake-based threshold multi-signatures protocol
input-output-hk/partner-chains
Substrate node with capability of communicating with Cardano network
input-output-hk/catalyst-voices
🎙️ Catalyst Voices provides a unified experience and platform including production-ready liquid democracy, meaningful collaboration opportunities & data-driven context for better onboarding & decisions.
input-output-hk/lace
The Lace Wallet.
input-output-hk/ouroboros-leios
Documentation and tools relating to the design and prototyping of Ouroboros Leios
input-output-hk/cardano-clusterlib-py
Python wrapper for cardano-cli for working with cardano cluster
input-output-hk/hackage.nix
Automatically generated Nix expressions for Hackage
input-output-hk/hermes
🏛️ Hermes is a high-availability blockchain voting database that acts as a distributed storage and event processor for voting events, proposals, and actions.
input-output-hk/acropolis
Acropolis microservice architecture & components in Rust
input-output-hk/cardano-parts
Nix flake parts for cardano clusters
input-output-hk/catalyst-ci
Common CI workflows for Project Catalyst
input-output-hk/cardano-playground
Cardano testnet clusters
input-output-hk/essential-cardano-content
input-output-hk/agda-sets
An abstract set theory library that can be instantiated in various ways
input-output-hk/catalyst-libs
🌐 A collection of multi-language libraries supporting Catalyst, Cardano’s community-driven innovation platform, enabling secure voting, proposal management, and ecosystem integration.
input-output-hk/Lean-blaster
SMT-based reasoning core for Lean4
input-output-hk/plutus-halo2-verifier-gen
Tool to enable proof verification on Cardano blockchain
input-output-hk/constrained-generators
Framework for generating constrained random data using a subset of first order logic
input-output-hk/glyph
input-output-hk/hedgehog-extras
input-output-hk/cardano-parameters
Cardano network parameters which are updated regularly from Blockfrost
input-output-hk/polkadot-sdk
The Parity Polkadot Blockchain SDK
input-output-hk/spo-incentives
Analyze the stake pool incentives scheme.
input-output-hk/cardano-haskell-packages
Mirror of IntersectMBO/cardano-haskell-packages
input-output-hk/network-csm
input-output-hk/plinth-static-analyzer-research
Research repository for the Plu-stan analyzer