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/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
input-output-hk/scrypto
Cryptographic primitives for Scala
input-output-hk/cardano-configurations
A common place for finding / maintaining configurations of various services of the Cardano eco-system
input-output-hk/sanchonet
Sources for the SanchoNet website
input-output-hk/cardano-faucet
Faucet for Cardano
input-output-hk/ce-netsim
input-output-hk/smartcode-verifier
Automated Formal Verification Tool for Cardano Smart Contracts
input-output-hk/anti-diffs
Haskell packages for sequences of Data.Map differences
input-output-hk/formal-streamlet
An Agda mechanization of the Streamlet consensus protocol.
input-output-hk/quality-engineering
IOG's Quality Engineering repository
input-output-hk/front-end-site-components
Opinionated React components for IOHK front-end web
input-output-hk/memory-pool
Lock-free threadsafe pinned memory pool manager
input-output-hk/minimal-ptt-examples
input-output-hk/ptt-cli
Plinth Testing Tool using the Contract Model
input-output-hk/utxo-alliance-site
input-output-hk/ha-remotedev
Remote environment for High Assurance development
input-output-hk/haskell-lmdb
Lightning MDB bindings for Haskell
input-output-hk/inputs-check
A flake parts module to check input closure sizes recursively
input-output-hk/agda-stdlib-classes
Extension of Agda's standard library to accommodate a more typeclass-friendly interface.
input-output-hk/cardano-kupo
Nix recipes for building https://github.com/CardanoSolutions/kupo
input-output-hk/catalyst-kcl
Auto-generated KCL modules used by Project Catalyst
input-output-hk/catalyst-split-stake-voting-prototype
Prototype of the split-stake voting protocol
input-output-hk/catalyst_voices_updates
input-output-hk/fund10-ideascale-importer
Fund10: Ideascale Importer
input-output-hk/hackage-overlay-ghcjs
input-output-hk/inspector
Futuristic New Age Golden Test management
input-output-hk/nix-sigstop
SIGSTOP nix while waiting for IFD builds to have the kernel prefer it for swapping
input-output-hk/node-lab
This repository contains the code required for the node-in-a-bag mobile lab.
input-output-hk/pc-mm-1
Partner chains node for Minotaur Mini MVP development
input-output-hk/uuid_plus
Generate RFC9562(v1,v4,v5,v6,v7,v8) UUIDs