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/catalyst-core
⚙️ Core Catalyst Governance Engine and utilities.
input-output-hk/mastering-cardano
repository for the book project "Mastering Cardano"
input-output-hk/quickcheck-dynamic
A library for stateful property-based testing
input-output-hk/cardano-shell
Node shell, a thin layer for running the node and it's modules.
input-output-hk/metadata-registry-testnet
input-output-hk/typed-protocols
Session types framework with support of protocol pipelining.
input-output-hk/partner-chains-smart-contracts
Command Line Tool and Cardano Plutus Contracts for interacting with Partner Chains.
input-output-hk/agda.nix
input-output-hk/catalyst-onchain-libs
input-output-hk/haskell-nix-example
haskell nix example repository
input-output-hk/iog-agda-prelude
Supplementary types and functions for the Agda prelude
input-output-hk/ouroboros-leios-formal-spec
Formal specification of the Ouroboros Leios protocol variants
input-output-hk/plu-stan
Static Analyzer for PlutusTx based on the Haskell STAN static analyzer
input-output-hk/CHA-react-FE-template
input-output-hk/ImpSpec
Haskell imperative test framework built on top of HSpec and QuickCheck
input-output-hk/serdoc
Semi-automatic documentation generation for serialization formats
input-output-hk/sidechains-zk
input-output-hk/testgen-hs
CBOR test case generator and deserializer for cross-checking other implementations
input-output-hk/cardano-ledger-release-tool
This is a tool that is used by the cardano-ledger team to simplify and enforce releasing and versioning policy
input-output-hk/catalyst-forge
Project Catalyst developer platform
input-output-hk/fs-sim
Haskell libraries for file system simulation
input-output-hk/agda-cardano-common
A library for shared code between different cardano specifications
input-output-hk/cardano-automation
Automation supporting `cardano-node` development, which is also not dependent on it.
input-output-hk/catalyst-forge-ai
input-output-hk/catalyst-forge-docs
Documentation for the Catalyst Forge developer platform
input-output-hk/catalyst-forge-libs
Common Go libraries for the Catalyst Forge platform
input-output-hk/catalyst-pallas
Rust-native building blocks for the Cardano blockchain ecosystem
input-output-hk/catalyst_flutter_rust_bridge
Flutter/Dart <-> Rust binding generator, feature-rich, but seamless and simple.
input-output-hk/cryptography_spec
Specification of the different cryptographic protocols used in IOHK.
input-output-hk/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.