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-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.
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/ouroboros-leios
Documentation and tools relating to the design and prototyping of Ouroboros Leios
input-output-hk/partner-chains-smart-contracts
Command Line Tool and Cardano Plutus Contracts for interacting with Partner Chains.
input-output-hk/cardano-parts
Nix flake parts for cardano clusters
input-output-hk/cuddle
CDDL DSL and Testing Tools
input-output-hk/essential-cardano-content
input-output-hk/plutus-halo2-verifier-gen
Tool to enable proof verification on Cardano blockchain
input-output-hk/vit-testing
Incubator for catalyst related testing projects
input-output-hk/catalyst-onchain-libs
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/haskell-nix-example
haskell nix example repository
input-output-hk/hs-bindgen
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/cardano-dev
Scripts for developing on cardano
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/fs-sim
Haskell libraries for file system simulation
input-output-hk/ouroboros-praos-formal-spec
Formal specification of Ouroboros Praos
input-output-hk/polkadot-sdk
The Parity Polkadot Blockchain SDK
input-output-hk/catalyst-forge-ai
input-output-hk/catalyst-storage
This is a location where we keep third-party dependencies and other files for Catalyst.
input-output-hk/ce-ashmaize
AshMaize PoW
input-output-hk/Clever-lean
SMT-based reasoning core for Lean4
input-output-hk/digest
This package provides efficient hash implementations for strict and lazy bytestrings. For now, CRC32 and Adler32 are supported; they are implemented as FFI bindings to efficient code from zlib.
input-output-hk/hydra-tools
custom GitHub Checks integration for Hydra