Repositories list

• Intersect-knowledge-base

  Public
  This repository holds the Intersect Knowledge Base

  Apache License 2.0

  •33 forks•11 star•00 issues•00 pull requests•Updated Aug 23, 2026Aug 23, 2026

• ouroboros-consensus

  Public
  Implementation of a Consensus Layer for the Ouroboros family of protocols

  blockchainconsensusouroboros

  blockchainconsensusouroboros

  Haskell

  •

  Apache License 2.0

  •4242 forks•6666 stars•403403 issues•8383 pull requests•Updated Aug 23, 2026Aug 23, 2026

• cardano-node

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

  Haskell

  •

  Apache License 2.0

  •755755 forks•3.2k3.2k stars•3535 issues•3535 pull requests•Updated Aug 23, 2026Aug 23, 2026

• cardano-haskell-packages

  Public
  Metadata for Cardano's Haskell package repository

  haskellnixcardano

  haskellnixcardano

  Shell

  •

  Apache License 2.0

  •3535 forks•3636 stars•2727 issues•1111 pull requests•Updated Aug 23, 2026Aug 23, 2026

• cardano-ledger

  Public
  The ledger implementation and specifications of the Cardano blockchain.

  blockchaincryptocurrencyada+ 1

  blockchaincryptocurrencyadacardano

  Haskell

  •

  Apache License 2.0

  •179179 forks•292292 stars•250250 issues•3333 pull requests•Updated Aug 22, 2026Aug 22, 2026

• plutus

  Public
  The Plutus language implementation and tools

  programming-languagesmart-contractsblockchain

  programming-languagesmart-contractsblockchain

  Haskell

  •

  Apache License 2.0

  •508508 forks•1.6k1.6k stars•172172 issues•6767 pull requests•Updated Aug 22, 2026Aug 22, 2026

• cardano-api

  Public
  Cardano API

  Haskell

  •

  Apache License 2.0

  •3030 forks•4040 stars•2424 issues•2020 pull requests•Updated Aug 22, 2026Aug 22, 2026

• formal-ledger-specifications

  Public
  Formal specifications of the Cardano ledger

  agdaformal-methodscardano-node

  agdaformal-methodscardano-node

  Agda

  •

  Apache License 2.0

  •1919 forks•5151 stars•157157 issues•1111 pull requests•Updated Aug 21, 2026Aug 21, 2026

• plinth-template

  Public template
  This is a template repository for kickstarting your Plinth smart contract project. Please refer to the README.md for more information.

  Shell

  •

  Apache License 2.0

  •7575 forks•2828 stars•00 issues•11 pull request•Updated Aug 21, 2026Aug 21, 2026

• cardano-node-tests

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

  Python

  •

  Apache License 2.0

  •2828 forks•5959 stars•3939 issues•88 pull requests•Updated Aug 21, 2026Aug 21, 2026

• io-classes-extra

  Public
  Utilities built on top of `io-classes`

  Haskell

  •00 forks•22 stars•33 issues•33 pull requests•Updated Aug 21, 2026Aug 21, 2026

• ouroboros-network

  Public
  Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffus…

  haskellnetworkblockchain+ 1

  haskellnetworkblockchainouroboros

  Haskell

  •

  Apache License 2.0

  •105105 forks•293293 stars•322322 issues•2020 pull requests•Updated Aug 21, 2026Aug 21, 2026

• cardano-addresses

  Public
  Addresses and mnemonic manipulation & derivations

  addressmnemonichierarchical-deterministic-wallets+ 1

  addressmnemonichierarchical-deterministic-walletscardano

  Haskell

  •

  Apache License 2.0

  •5151 forks•160160 stars•33 issues•22 pull requests•Updated Aug 21, 2026Aug 21, 2026

• mithril

  Public
  Stake-based threshold multi-signatures protocol

  rustblockchainscalability+ 8

  rustblockchainscalabilitymithrilmultisigzero-knowledgecardanocardano-nodemulti-signatureszero-knowledge-proofs+ 1

  Rust

  •

  Apache License 2.0

  •5252 forks•153153 stars•115115 issues•88 pull requests•Updated Aug 21, 2026Aug 21, 2026

• io-sim

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

  haskellsimulation-frameworkpartial-order-reduction

  haskellsimulation-frameworkpartial-order-reduction

  Haskell

  •

  Apache License 2.0

  •2525 forks•5454 stars•1919 issues•1010 pull requests•Updated Aug 21, 2026Aug 21, 2026

• typed-protocols

  Public
  Session types framework with support of protocol pipelining.

  haskellnetworkprotocols+ 1

  haskellnetworkprotocolssession-types

  Haskell

  •

  Apache License 2.0

  •77 forks•1616 stars•55 issues•77 pull requests•Updated Aug 21, 2026Aug 21, 2026

• hf-wg-documentation

  Public
  Repository for hardfork working group documentation.

  1616 forks•44 stars•11 issue•11 pull request•Updated Aug 21, 2026Aug 21, 2026

• cardano-cli

  Public
  This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.

  Haskell

  •

  Apache License 2.0

  •2424 forks•7171 stars•3131 issues•1010 pull requests•Updated Aug 21, 2026Aug 21, 2026

• product-website

  Public
  SCSS

  •1313 forks•33 stars•11 issue•22 pull requests•Updated Aug 21, 2026Aug 21, 2026

• cardonnay

  Public
  Cardano local testnets

  Shell

  •

  Apache License 2.0

  •00 forks•77 stars•22 issues•00 pull requests•Updated Aug 20, 2026Aug 20, 2026

• tsc-documentation

  Public
  This repo retains updates for Technical Steering Committee and relevant Technical Working Groups

  Apache License 2.0

  •11 fork•11 star•00 issues•00 pull requests•Updated Aug 20, 2026Aug 20, 2026

• mcc-documentation

  Public
  This repo retains updates for Membership and Community Committee and relevant Working Groups

  Apache License 2.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Aug 20, 2026Aug 20, 2026

• cardano-updates

  Public
  Regular updates from the Cardano developer team

  Shell

  •

  Apache License 2.0

  •1616 forks•1111 stars•33 issues•22 pull requests•Updated Aug 19, 2026Aug 19, 2026

• budget-management

  Public
  Apache License 2.0

  •22 forks•11 star•1414 issues•22 pull requests•Updated Aug 19, 2026Aug 19, 2026

• lsm-tree

  Public
  A Haskell library for on-disk tables based on LSM-Trees

  haskelldatabase

  haskelldatabase

  Haskell

  •1717 forks•5353 stars•3030 issues•1313 pull requests•Updated Aug 19, 2026Aug 19, 2026

• osc-documentation

  Public
  Documents/Artifacts for the Open Source Committee can be founnd in this Repository. If there are questions or concerns, Please create an issue or contact the Op…

  Apache License 2.0

  •88 forks•44 stars•00 issues•00 pull requests•Updated Aug 19, 2026Aug 19, 2026

• cardano-config

  Public
  Cardano-config is a library designed to audit and strengthen various configuration files across 'core' Cardano repositories.

  Haskell

  •

  Apache License 2.0

  •00 forks•00 stars•11 issue•22 pull requests•Updated Aug 19, 2026Aug 19, 2026

• cardano-sync-tests

  Public
  Sync tests for cardano-node and db-sync.

  Python

  •

  Apache License 2.0

  •00 forks•44 stars•11 issue•22 pull requests•Updated Aug 19, 2026Aug 19, 2026

• cardano-base

  Public
  Code used throughout the Cardano eco-system

  Haskell

  •

  Apache License 2.0

  •5454 forks•105105 stars•4242 issues•77 pull requests•Updated Aug 18, 2026Aug 18, 2026

• evolution-sdk

  Public
  TypeScript

  •

  MIT License

  •3030 forks•2020 stars•3232 issues•2626 pull requests•Updated Aug 17, 2026Aug 17, 2026