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/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.
input-output-hk/scrypto
Cryptographic primitives for Scala
input-output-hk/quickcheck-dynamic
A library for stateful property-based testing
input-output-hk/cardano-configurations
A common place for finding / maintaining configurations of various services of the Cardano eco-system
input-output-hk/cardano-faucet
Faucet for Cardano
input-output-hk/vrf
Implementation of Cardano compatible VRF function
input-output-hk/smartcode-verifier
Automated Formal Verification Tool for Cardano Smart Contracts
input-output-hk/ce-netsim
input-output-hk/anti-diffs
Haskell packages for sequences of Data.Map differences
input-output-hk/plu-stan
Static Analyzer for PlutusTx based on the Haskell STAN static analyzer
input-output-hk/cabal-tools
input-output-hk/memory-pool
Lock-free threadsafe pinned memory pool manager
input-output-hk/minimal-ptt-examples
input-output-hk/plutus-high-assurance-template
Plutus High Assurance Template, automattion of plugging into our GitHub Projects
input-output-hk/github-checks-stats
input-output-hk/ha-remotedev
Remote environment for High Assurance development
input-output-hk/haskell-lmdb
Lightning MDB bindings for Haskell
input-output-hk/rust-ed25519-bip32
ed25519 with bip32
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-forge-playground
A place to experiment with catalyst-forge
input-output-hk/catalyst-pallas
Rust-native building blocks for the Cardano blockchain ecosystem
input-output-hk/fund10-ideascale-importer
Fund10: Ideascale Importer
input-output-hk/fusion-flamingo
Development repository for the fusion-flamingo team
input-output-hk/hackage-overlay-ghcjs
input-output-hk/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
input-output-hk/midnight-poc
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/weigh
Measure allocations of a Haskell functions/values