Discover input-output-hk/formal-ledger-specifications Open Source

The core component that is used to participate in a Cardano decentralised blockchain.

3,757

cardano-node

The Plutus language implementation and tools

2,934

plutus

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.

1,472

plutus-pioneer-program

The open source cryptocurrency wallet for ada, built to grow with the community

1,389

daedalus

Repository for the Essential Cardano list

1,230

essential-cardano

738

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

Modular blockchain framework. Public domain

557

Scorex

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

503

nami

privacy voting blockchain node

373

jormungandr

The Plutus application platform

366

plutus-apps

rust client libraries to deal with the current cardano mainnet (byron / cardano-sl)

304

rust-byron-cardano

Implementation of the Hydra Head protocol

276

hydra

262

cardano-documentation

A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL

258

cardano-db-sync

An implementation of the Ouroboros family of consensus algorithms, with its networking support

254

ouroboros-network

A Scala based client for Ethereum-like Blockchains.

254

mantis

The ledger implementation and specifications of the Cardano blockchain.

227

cardano-ledger

JavaScript SDK for interacting with Cardano, providing various key management options, with support for popular hardware wallets

223

cardano-js-sdk

Cryptographic primitives for Scala

216

scrypto

A starter project for Plutus apps

201

plutus-starter

Simple Plutus contract to help give Charles' stuffed lobster a name

198

lobster-challenge

APIs & SDK for interacting with Cardano.

179

adrestia

Markdown

177

marlowe

Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies

Isabelle

172

bitte

Nix Ops for Terraform, Consul, Vault, Nomad

Stake-based threshold multi-signatures protocol

156

mithril

Immersive 3D Blockchain Explorer

128

symphony-2

Addresses and mnemonic manipulation & derivations

127

cardano-addresses

NixOps deployment configuration for IOHK devops

125

iohk-ops

repository for the Alonzo testnet

119

Alonzo-testnet

ARCHIVED-This content in this repository is now located at https://docs.cardano.org/projects/cardano-node/

112

cardano-tutorials

Makefile

112

stack2nix

Generate nix expressions for Haskell projects

Multiversioned key-value database, especially useful for blockchain

iodb

Translate Cabals Generic Package Description to a Nix expression

nix-tools

marlowe-cardano

Marlowe smart contract language Cardano implementation

Cardano Command Line Interface (CLI) (Deprecated)

cardano-byron-cli

Code used throughout the Cardano eco-system

cardano-base

React components with highly customizable logic, markup and styles.

react-polymorph

Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

high-assurance-legacy

Support triage for the Shelley testnet

shelley-testnet

cardano-crypto

This repository provides cryptographic libraries that are used in the Byron era of the Cardano node

plutus-use-cases

Plutus Use Cases

cardano-ops

NixOps deployment configuration for IOHK/Cardano devops

nix scripts shared across projects

iohk-nix

RTView: real-time watching for Cardano nodes (ARCHIVED)

cardano-rt-view

Cross compiling Hello World (haskell) to Windows using nix.

spongix

Proxy for Nix Caching

nix-hs-hello-windows

symphony

Symphony v1

A re-implementation of the Cardano ledger layer, replacing the Byron release

cardano-ledger-byron

Haskell implementation of RSCoin

rscoin-haskell

System and end-to-end (E2E) tests for cardano-node.

cardano-node-tests

Python

project-icarus

Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.

cardano-rest

HTTP interfaces for interacting with the Cardano blockchain.

🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.

foliage

Tools for creating, submitting, and managing off-chain metadata such as multi-asset token metadata

offchain-metadata-tools

event-driven automation for Nomad

cicero

medusa

3D github repository visualiser

nothunks

Substrate node with capability of communicating with Cardano network

partner-chains

Haskell implementation of the Bech32 address format (BIP 0173).

bech32

⚙️ Core Catalyst Governance Engine and utilities.

catalyst-core

Stakepool Metadata Aggregation Server

smash

chain-libs

blockchain libs

Cardano Settlement Layer Documentation

cardanodocs.com-archived

HTML

devx

The Developer Experience Shell - This repo contains a nix develop shell for haskell. Its primary purpose is to help get a development shell for haskell quickly and across multiple operating systems (and architectures).

Haskell's IO simulator which closely follows core packages (base, async, stm).

io-sim

This framework provides logging, benchmarking and monitoring.

iohk-monitoring-framework

mallet

Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.

project-icarus-chrome

various cardano javascript using wasm bindings

js-cardano-wasm

Node shell, a thin layer for running the node and it's modules.

cardano-shell

Shelley cardano-node and cardano-wallet launcher for NodeJS applications

cardano-launcher

Cardano world provides preprod and preview cardano networks, configuration documentation and miscellaneous automation.

cardano-world

rscoin-core

A library for stateful property-based testing

quickcheck-dynamic

stakepool-management-tools

Metadata for Cardano's Haskell package repository

cardano-haskell-packages

Shell

cardano-haskell

Top level repository for building the Cardano Haskell node and related components and dependencies.

Shell

cardano-configurations

A common place for finding / maintaining configurations of various services of the Cardano eco-system

Developer-Experience-working-group

cardano-transactions

Library utilities for constructing and signing Cardano transactions.

Scala client to the Cardano wallet REST API

psg-cardano-wallet-api

marlowe-ts-sdk

Marlowe TypeScript SDK

Sources for the SanchoNet website

sanchonet

pvss-haskell

Official Wallet Backend & API for Cardano-SL

cardano-wallet-legacy

scalanet

Backend solution powering the cardano-explorer. ⚠️ See disclaimer below. ⚠️

cardano-explorer

metadata-registry-testnet

Demo / PoC / implementation of IOHK MPC protocols

casino

Automatically generated Nix expressions for Hackage

hackage.nix

cardano-clusterlib-py

Python wrapper for cardano-cli for working with cardano cluster

Python

catalyst-voices

🎙️ Catalyst Voices provides a unified experience and platform including production-ready liquid democracy, meaningful collaboration opportunities & data-driven context for better onboarding & decisions.

Dart

marlowe-starter-kit

This repository contains lessons for using Marlowe via REST and at the command line. It is meant to be used with demeter.run or with a Docker deployment of Marlowe Runtime.

Jupyter Notebook

js-chain-libs

chain-libs javascript SDK

A library of algorithms for coin selection and fee balancing.

cardano-coin-selection

Implementation of a Consensus Layer for the Ouroboros family of protocols

ouroboros-consensus