Repositories list

• cardano-ledger

  Public
  The ledger implementation and specifications of the Cardano blockchain.

  blockchaincryptocurrencyada+ 1cardano

  Haskell

  •

  Apache License 2.0

  •156•267•198•10•Updated Feb 23, 2025Feb 23, 2025

• lsm-tree

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

  Haskell

  •

  Apache License 2.0

  •7•35•24•8•Updated Feb 23, 2025Feb 23, 2025

• cardano-haskell-packages

  Public
  Metadata for Cardano's Haskell package repository

  haskellnixcardano

  Shell

  •

  Apache License 2.0

  •29•34•27•12•Updated Feb 23, 2025Feb 23, 2025

• cardano-node

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

  Haskell

  •

  Apache License 2.0

  •720•3.1k•272•64•Updated Feb 23, 2025Feb 23, 2025

• cardano-node-tests

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

  Python

  •

  Apache License 2.0

  •29•55•43•3•Updated Feb 22, 2025Feb 22, 2025

• budget-documentation

  Public
  This repo retains updates for Budget Committee and relevant Working Groups

  Apache License 2.0

  •0•2•0•0•Updated Feb 22, 2025Feb 22, 2025

• govtool-outcomes-pillar

  Public
  TypeScript

  •1•1•1•0•Updated Feb 22, 2025Feb 22, 2025

• plutus

  Public
  The Plutus language implementation and tools

  programming-languagesmart-contractsblockchain

  Haskell

  •

  Apache License 2.0

  •483•1.6k•200•28•Updated Feb 22, 2025Feb 22, 2025

• formal-ledger-specifications

  Public
  Formal specifications of the cardano ledger

  agdaformal-methodscardano-node

  Agda

  •

  Apache License 2.0

  •15•39•82•6•Updated Feb 22, 2025Feb 22, 2025

• growth-marketing-documentation

  Public
  This repo contains updates, changes, and other documents for the Growth and Marketing Committee at Intersect.

  Apache License 2.0

  •0•0•0•0•Updated Feb 21, 2025Feb 21, 2025

• cardano-api

  Public
  Cardano API

  Haskell

  •

  Apache License 2.0

  •23•28•19•12•Updated Feb 21, 2025Feb 21, 2025

• 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 Open Source Office.

  Apache License 2.0

  •2•2•0•0•Updated Feb 21, 2025Feb 21, 2025

• plutus-script-evaluation

  Public
  Functionality for working with Plutus script evaluation events from Mainnet

  Haskell

  •0•1•0•2•Updated Feb 21, 2025Feb 21, 2025

• 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

  •17•51•28•11•Updated Feb 21, 2025Feb 21, 2025

• cardano-updates

  Public
  Regular updates from the Cardano developer team

  Shell

  •

  Apache License 2.0

  •16•10•4•1•Updated Feb 21, 2025Feb 21, 2025

• Intersect-knowledge-base

  Public
  This Repo syncs the data and changes added to the Intersect Knowledge Base on GitBook

  Apache License 2.0

  •0•1•0•0•Updated Feb 21, 2025Feb 21, 2025

• ouroboros-network

  Public
  Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.

  haskellnetworkblockchain+ 1ouroboros

  Haskell

  •

  Apache License 2.0

  •87•281•324•25•Updated Feb 21, 2025Feb 21, 2025

• cc-portal

  Public
  This repository contains services for the Constitution Committee Portal.

  TypeScript

  •

  Apache License 2.0

  •1•4•36•4•Updated Feb 21, 2025Feb 21, 2025

• council-toolkit-app

  Public
  Web app for Intersect Constitutional Council

  TypeScript

  •

  Apache License 2.0

  •0•2•16•2•Updated Feb 21, 2025Feb 21, 2025

• product-documentation

  Public
  This repo retains updates for Core Infrastructure Roadmap Committee and relevant Working Groups

  Apache License 2.0

  •1•2•0•0•Updated Feb 21, 2025Feb 21, 2025

• cardano-sync-tests

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

  Python

  •0•3•1•1•Updated Feb 21, 2025Feb 21, 2025

• civics-documentation

  Public
  This repo retains updates for Civics Committee and relevant Working Groups

  Apache License 2.0

  •0•0•0•0•Updated Feb 21, 2025Feb 21, 2025

• govtool

  Public
  🔩 GovTool and utilities monorepo.

  HTML

  •

  Apache License 2.0

  •10•16•209•6•Updated Feb 21, 2025Feb 21, 2025

• cardano-constitution

  Public
  0•0•0•0•Updated Feb 21, 2025Feb 21, 2025

• ouroboros-consensus

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

  blockchainconsensusouroboros

  Haskell

  •

  Apache License 2.0

  •25•47•373•43•Updated Feb 21, 2025Feb 21, 2025

• cardano-db-sync

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

  Haskell

  •

  Apache License 2.0

  •162•302•133•25•Updated Feb 21, 2025Feb 21, 2025

• govtool-test-reports

  Public
  GovTool Tests Dashboard

  MIT License

  •0•1•1•0•Updated Feb 21, 2025Feb 21, 2025

• govtool-proposal-pillar

  Public
  GovTool Proposal Pillar Packages

  JavaScript

  •

  Apache License 2.0

  •0•1•0•0•Updated Feb 21, 2025Feb 21, 2025

• cardano-addresses

  Public
  Addresses and mnemonic manipulation & derivations

  addresshierarchical-deterministic-walletscardano+ 1mnemonic

  Haskell

  •

  Apache License 2.0

  •50•155•8•2•Updated Feb 21, 2025Feb 21, 2025

• product-website

  Public
  MDX

  •0•0•0•1•Updated Feb 20, 2025Feb 20, 2025