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/scrypto
Cryptographic primitives for Scala
input-output-hk/offchain-metadata-tools
Tools for creating, submitting, and managing off-chain metadata such as multi-asset token metadata
input-output-hk/hydra-sim
Simulations for the Hydra protocol
input-output-hk/marconi
input-output-hk/real-world-marlowe
Example Marlowe Contracts
input-output-hk/Certification-working-group
input-output-hk/awesome-marlowe
A collection of Marlowe resources, tutorials and examples
input-output-hk/didcomm-v2-mediator-test-suite
Test Suite for DIDCommV2-compatible Mediators
input-output-hk/education
input-output-hk/marlowe-order-book-swap
input-output-hk/cip72-dapp-registration
input-output-hk/marlowe-payouts
Generic Payouts Withdrawal Prototype Over for Marlowe Technology
input-output-hk/MIPs
Marlowe Improvement Proposals
input-output-hk/purescript-marlowe
PureScript implementation of the Marlowe smart contract lanugage
input-output-hk/atala-prism-didcomm-kmm
DIDComm V2 & Peer:DID
input-output-hk/atala-prism-didcomm-swift
This repo is just to keep the SPM binary of didcomm-rust
input-output-hk/equivalence-reasoner
An automated equivalence reasoner for Isabelle/HOL
input-output-hk/network-equivalences
Formal proofs of equivalences of different kinds of networks
input-output-hk/serdoc
Semi-automatic documentation generation for serialization formats
input-output-hk/thorn-calculus
A general-purpose process calculus with support for arbitrary data
input-output-hk/ouroboros-high-assurance
High-assurance implementation of the Ouroboros protocol family
input-output-hk/purescript-marlowe-runtime-client
input-output-hk/cardano-haskell-packages-2
Mirror of IntersectMBO/cardano-haskell-packages
input-output-hk/sc-evm
sc-evm is a Proof-of-Stake sidechain based on Ouroboros-BFT
input-output-hk/cardano-automation
Automation supporting `cardano-node` development, which is also not dependent on it.
input-output-hk/dummy-repo1
input-output-hk/flake-release-tool
Create software releases from a nix flake
input-output-hk/formal-bft
Formalizing BFT protocols in Agda.
input-output-hk/th-extras
A grab bag of useful functions for use with Template Haskell
input-output-hk/transition-systems
Support for working with labeled transition systems