• Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    Haskell
  • Created over 2 years ago
  • Updated 3 months ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Session types framework with support of protocol pipelining.

More Repositories

1

cardano-sl

Cryptographic currency implementing Ouroboros PoS protocol
Haskell
3,757
star
2

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.
Haskell
2,934
star
3

plutus

The Plutus language implementation and tools
Haskell
1,472
star
4

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.
Haskell
1,389
star
5

daedalus

The open source cryptocurrency wallet for ada, built to grow with the community
TypeScript
1,230
star
6

essential-cardano

Repository for the Essential Cardano list
738
star
7

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs
Nix
557
star
8

Scorex

Modular blockchain framework. Public domain
JavaScript
503
star
9

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
JavaScript
373
star
10

jormungandr

privacy voting blockchain node
Rust
366
star
11

plutus-apps

The Plutus application platform
Haskell
304
star
12

rust-byron-cardano

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

hydra

Implementation of the Hydra Head protocol
Haskell
262
star
14

cardano-documentation

TypeScript
258
star
15

cardano-db-sync

A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
Haskell
254
star
16

ouroboros-network

An implementation of the Ouroboros family of consensus algorithms, with its networking support
Haskell
254
star
17

mantis

A Scala based client for Ethereum-like Blockchains.
Scala
227
star
18

cardano-ledger

The ledger implementation and specifications of the Cardano blockchain.
Haskell
223
star
19

cardano-js-sdk

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

scrypto

Cryptographic primitives for Scala
Scala
201
star
21

plutus-starter

A starter project for Plutus apps
Nix
198
star
22

lobster-challenge

Simple Plutus contract to help give Charles' stuffed lobster a name
Haskell
179
star
23

adrestia

APIs & SDK for interacting with Cardano.
Markdown
177
star
24

marlowe

Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
Isabelle
172
star
25

bitte

Nix Ops for Terraform, Consul, Vault, Nomad
Nix
156
star
26

mithril

Stake-based threshold multi-signatures protocol
Rust
128
star
27

symphony-2

Immersive 3D Blockchain Explorer
JavaScript
127
star
28

cardano-addresses

Addresses and mnemonic manipulation & derivations
Haskell
125
star
29

iohk-ops

NixOps deployment configuration for IOHK devops
Nix
119
star
30

Alonzo-testnet

repository for the Alonzo testnet
Haskell
112
star
31

cardano-tutorials

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

stack2nix

Generate nix expressions for Haskell projects
Nix
99
star
33

iodb

Multiversioned key-value database, especially useful for blockchain
Scala
96
star
34

nix-tools

Translate Cabals Generic Package Description to a Nix expression
95
star
35

marlowe-cardano

Marlowe smart contract language Cardano implementation
Haskell
90
star
36

cardano-byron-cli

Cardano Command Line Interface (CLI) (Deprecated)
Rust
84
star
37

cardano-base

Code used throughout the Cardano eco-system
Haskell
83
star
38

react-polymorph

React components with highly customizable logic, markup and styles.
JavaScript
79
star
39

high-assurance-legacy

Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
Haskell
78
star
40

shelley-testnet

Support triage for the Shelley testnet
70
star
41

cardano-crypto

This repository provides cryptographic libraries that are used in the Byron era of the Cardano node
C
67
star
42

plutus-use-cases

Plutus Use Cases
66
star
43

cardano-ops

NixOps deployment configuration for IOHK/Cardano devops
Nix
65
star
44

iohk-nix

nix scripts shared across projects
Nix
62
star
45

cardano-rt-view

RTView: real-time watching for Cardano nodes (ARCHIVED)
Haskell
59
star
46

spongix

Proxy for Nix Caching
Go
59
star
47

nix-hs-hello-windows

Cross compiling Hello World (haskell) to Windows using nix.
Nix
58
star
48

symphony

Symphony v1
JavaScript
53
star
49

cardano-ledger-byron

A re-implementation of the Cardano ledger layer, replacing the Byron release
Haskell
52
star
50

rscoin-haskell

Haskell implementation of RSCoin
Haskell
51
star
51

cardano-node-tests

System and end-to-end (E2E) tests for cardano-node.
Python
51
star
52

project-icarus

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

cardano-rest

HTTP interfaces for interacting with the Cardano blockchain.
Haskell
44
star
54

foliage

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

offchain-metadata-tools

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

cicero

event-driven automation for Nomad
Go
41
star
57

medusa

3D github repository visualiser
JavaScript
41
star
58

nothunks

Haskell
39
star
59

partner-chains

Substrate node with capability of communicating with Cardano network
Rust
38
star
60

bech32

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

catalyst-core

⚙️ Core Catalyst Governance Engine and utilities.
Rust
37
star
62

smash

Stakepool Metadata Aggregation Server
Haskell
36
star
63

chain-libs

blockchain libs
Rust
35
star
64

cardanodocs.com-archived

Cardano Settlement Layer Documentation
HTML
35
star
65

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).
Nix
35
star
66

io-sim

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

iohk-monitoring-framework

This framework provides logging, benchmarking and monitoring.
Haskell
33
star
68

mallet

JavaScript
32
star
69

project-icarus-chrome

Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.
JavaScript
32
star
70

js-cardano-wasm

various cardano javascript using wasm bindings
Rust
31
star
71

cardano-shell

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

cardano-launcher

Shelley cardano-node and cardano-wallet launcher for NodeJS applications
TypeScript
31
star
73

cardano-world

Cardano world provides preprod and preview cardano networks, configuration documentation and miscellaneous automation.
Nix
30
star
74

rscoin-core

Haskell
29
star
75

quickcheck-dynamic

A library for stateful property-based testing
Haskell
27
star
76

stakepool-management-tools

JavaScript
27
star
77

cardano-haskell-packages

Metadata for Cardano's Haskell package repository
Shell
24
star
78

cardano-haskell

Top level repository for building the Cardano Haskell node and related components and dependencies.
Shell
24
star
79

cardano-configurations

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

Developer-Experience-working-group

23
star
81

cardano-transactions

Library utilities for constructing and signing Cardano transactions.
Haskell
23
star
82

psg-cardano-wallet-api

Scala client to the Cardano wallet REST API
Scala
22
star
83

marlowe-ts-sdk

Marlowe TypeScript SDK
TypeScript
22
star
84

sanchonet

Sources for the SanchoNet website
TypeScript
21
star
85

pvss-haskell

Haskell
21
star
86

cardano-wallet-legacy

Official Wallet Backend & API for Cardano-SL
Haskell
21
star
87

scalanet

Scala
20
star
88

cardano-explorer

Backend solution powering the cardano-explorer. ⚠️ See disclaimer below. ⚠️
Haskell
20
star
89

formal-ledger-specifications

Formal specifications of the cardano ledger
Agda
19
star
90

metadata-registry-testnet

Nix
19
star
91

casino

Demo / PoC / implementation of IOHK MPC protocols
Haskell
19
star
92

hackage.nix

Automatically generated Nix expressions for Hackage
19
star
93

cardano-clusterlib-py

Python wrapper for cardano-cli for working with cardano cluster
Python
19
star
94

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
19
star
95

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
19
star
96

js-chain-libs

chain-libs javascript SDK
Rust
18
star
97

cardano-coin-selection

A library of algorithms for coin selection and fee balancing.
Haskell
18
star
98

ouroboros-consensus

Implementation of a Consensus Layer for the Ouroboros family of protocols
Haskell
18
star
99

marlowe-pioneer-program

Lectures, documentation, and examples for Marlowe Pioneer Program.
Haskell
18
star
100

chain-wallet-libs

Rust
18
star