Repositories list

• eqc-rebar

  Public
  Rebar plugin for Quviq's QuickCheck

  Erlang

  •

  Apache License 2.0

  •11 fork•33 stars•00 issues•00 pull requests•Updated Aug 19, 2026Aug 19, 2026

• leveled

  Public
  Working prototype of a pure Erlang Key/Value store - based on a LSM-tree, optimised for HEAD requests

  Erlang

  •

  Apache License 2.0

  •3737 forks•00 stars•44 issues•00 pull requests•Updated Aug 12, 2026Aug 12, 2026

• erlfmt

  Public
  An automated code formatter for Erlang

  Erlang

  •

  Apache License 2.0

  •6666 forks•00 stars•00 issues•00 pull requests•Updated Apr 28, 2026Apr 28, 2026

• erlang_ls

  Public
  The Erlang Language Server

  Erlang

  •

  Apache License 2.0

  •144144 forks•00 stars•00 issues•00 pull requests•Updated Apr 22, 2026Apr 22, 2026

• s2n

  Public
  s2n : an implementation of the TLS/SSL protocols

  C

  •

  Apache License 2.0

  •793793 forks•00 stars•00 issues•00 pull requests•Updated Sep 9, 2025Sep 9, 2025

• forked-CIPs

  Public
  Cardano Improvement Proposals (CIPs)

  JavaScript

  •

  Creative Commons Attribution 4.0 International

  •397397 forks•00 stars•00 issues•00 pull requests•Updated Aug 27, 2025Aug 27, 2025

• CIPs

  Public
  Fork of https://github.com/cardano-foundation/CIPs, for developing a new CIP.

  JavaScript

  •

  Creative Commons Attribution 4.0 International

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 8, 2025Aug 8, 2025

• cardano-ledger

  Public
  The ledger implementation and specifications of the Cardano blockchain.

  Haskell

  •

  Apache License 2.0

  •178178 forks•00 stars•00 issues•00 pull requests•Updated Nov 7, 2024Nov 7, 2024

• riak_kv

  Public
  Riak Key/Value Store

  Erlang

  •231231 forks•00 stars•00 issues•00 pull requests•Updated Jun 19, 2024Jun 19, 2024

• aeson

  Public
  A fast Haskell JSON library

  Haskell

  •

  Other

  •334334 forks•00 stars•00 issues•00 pull requests•Updated Apr 6, 2024Apr 6, 2024

• qc-requirements

  Public
  Prototype for Requirements testing

  Haskell

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 26, 2024Mar 26, 2024

• hydra

  Public
  Implementation of the Hydra Head protocol

  Haskell

  •

  Apache License 2.0

  •112112 forks•00 stars•00 issues•00 pull requests•Updated Feb 20, 2024Feb 20, 2024

• quickcheck-contractmodel

  Public
  Adversary testing of your plutus contract

  Haskell

  •

  Apache License 2.0

  •99 forks•00 stars•00 issues•00 pull requests•Updated Jan 8, 2024Jan 8, 2024

• plutus-apps

  Public
  The Plutus application platform

  Haskell

  •

  Apache License 2.0

  •208208 forks•00 stars•00 issues•00 pull requests•Updated Sep 11, 2023Sep 11, 2023

• formal-ledger-specifications

  Public
  Formal specifications of the cardano ledger

  Agda

  •

  Apache License 2.0

  •1919 forks•00 stars•00 issues•00 pull requests•Updated Aug 29, 2023Aug 29, 2023

• riak_core

  Public
  Distributed systems infrastructure used by Riak.

  Erlang

  •

  Apache License 2.0

  •385385 forks•00 stars•00 issues•00 pull requests•Updated May 25, 2023May 25, 2023

• quickcheck-contractmodel-cooked

  Public
  Cooked validator bindings for QuickCheck contract model

  Haskell

  •11 fork•00 stars•00 issues•00 pull requests•Updated May 25, 2023May 25, 2023

• cooked-validators

  Public
  Haskell

  •

  MIT License

  •1212 forks•00 stars•00 issues•00 pull requests•Updated May 8, 2023May 8, 2023

• plutus

  Public
  The Plutus language implementation and tools

  Haskell

  •

  Apache License 2.0

  •509509 forks•00 stars•00 issues•00 pull requests•Updated Apr 5, 2023Apr 5, 2023

• riak

  Public
  Riak is a decentralized datastore from Basho Technologies.

  Shell

  •

  Apache License 2.0

  •522522 forks•00 stars•00 issues•00 pull requests•Updated Mar 4, 2023Mar 4, 2023

• utxo-programming-model

  Public
  Haskell

  •00 forks•11 star•00 issues•00 pull requests•Updated Dec 15, 2022Dec 15, 2022

• tremor-runtime

  Public
  Main Tremor Project Rust Codebase

  Rust

  •

  Apache License 2.0

  •126126 forks•00 stars•00 issues•00 pull requests•Updated Nov 18, 2022Nov 18, 2022

• quickcheck-dynamic

  Public
  A library for stateful property-based testing

  Haskell

  •

  Apache License 2.0

  •1010 forks•00 stars•00 issues•00 pull requests•Updated Nov 8, 2022Nov 8, 2022

• cardano-node

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

  Haskell

  •

  Apache License 2.0

  •755755 forks•00 stars•00 issues•00 pull requests•Updated Oct 13, 2022Oct 13, 2022

• io-sim

  Public
  Haskell

  •2525 forks•00 stars•00 issues•00 pull requests•Updated Sep 29, 2022Sep 29, 2022

• hydra-poc

  Public
  Proof of concept for the Hydra Head protocol :construction_worker:

  Haskell

  •

  Apache License 2.0

  •112112 forks•00 stars•00 issues•00 pull requests•Updated Jun 3, 2022Jun 3, 2022

• edocset

  Public
  Erlang doclet module for generating a Dash docset from Edoc.

  Erlang

  •

  Apache License 2.0

  •11 fork•00 stars•00 issues•00 pull requests•Updated May 20, 2022May 20, 2022

• ouroboros-network

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

  Haskell

  •

  Apache License 2.0

  •105105 forks•00 stars•00 issues•00 pull requests•Updated Nov 8, 2021Nov 8, 2021

• blockchain-core

  Public
  Erlang

  •

  Apache License 2.0

  •8282 forks•00 stars•00 issues•00 pull requests•Updated Jun 23, 2021Jun 23, 2021

• epoch-eqc

  Public
  QuickCheck models for aeternity/epoch

  Erlang

  •77 forks•66 stars•00 issues•11 pull request•Updated Mar 31, 2021Mar 31, 2021