Repositories list

• govtool-proposal-pillar

  Public
  GovTool Proposal Pillar Packages

  JavaScript

  •

  Apache License 2.0

  •0•1•0•0•Updated Mar 29, 2025Mar 29, 2025

• plutus

  Public
  The Plutus language implementation and tools

  programming-languagesmart-contractsblockchain

  Haskell

  •

  Apache License 2.0

  •486•1.6k•182•38•Updated Mar 29, 2025Mar 29, 2025

• cardano-node

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

  Haskell

  •

  Apache License 2.0

  •728•3.1k•275•57•Updated Mar 29, 2025Mar 29, 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

  •19•53•36•22•Updated Mar 29, 2025Mar 29, 2025

• formal-ledger-specifications

  Public
  Formal specifications of the cardano ledger

  agdaformal-methodscardano-node

  Agda

  •

  Apache License 2.0

  •16•40•88•4•Updated Mar 29, 2025Mar 29, 2025

• cardano-node-tests

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

  Python

  •

  Apache License 2.0

  •30•57•43•4•Updated Mar 29, 2025Mar 29, 2025

• Intersect-knowledge-base

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

  Apache License 2.0

  •1•1•0•0•Updated Mar 28, 2025Mar 28, 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 Mar 28, 2025Mar 28, 2025

• cardano-ledger

  Public
  The ledger implementation and specifications of the Cardano blockchain.

  blockchaincryptocurrencyada+ 1cardano

  Haskell

  •

  Apache License 2.0

  •156•267•203•11•Updated Mar 28, 2025Mar 28, 2025

• intersect-constitutional-council

  Public
  Repository for files related to the Intersect Constitutional Council.

  Shell

  •

  Apache License 2.0

  •0•4•0•1•Updated Mar 28, 2025Mar 28, 2025

• cardano-api

  Public
  Cardano API

  Haskell

  •

  Apache License 2.0

  •23•30•17•12•Updated Mar 28, 2025Mar 28, 2025

• lsm-tree

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

  Haskell

  •

  Apache License 2.0

  •7•35•24•14•Updated Mar 28, 2025Mar 28, 2025

• govtool-test-reports

  Public
  GovTool Tests Dashboard

  MIT License

  •0•1•1•0•Updated Mar 28, 2025Mar 28, 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 Mar 28, 2025Mar 28, 2025

• cardano-addresses

  Public
  Addresses and mnemonic manipulation & derivations

  addresshierarchical-deterministic-walletscardano+ 1mnemonic

  Haskell

  •

  Apache License 2.0

  •50•156•8•1•Updated Mar 28, 2025Mar 28, 2025

• govtool

  Public
  🔩 GovTool and utilities monorepo.

  HTML

  •

  Apache License 2.0

  •11•16•269•6•Updated Mar 28, 2025Mar 28, 2025

• cardano-haskell-packages

  Public
  Metadata for Cardano's Haskell package repository

  haskellnixcardano

  Shell

  •

  Apache License 2.0

  •30•34•27•9•Updated Mar 28, 2025Mar 28, 2025

• mcc-documentation

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

  Apache License 2.0

  •0•1•0•0•Updated Mar 28, 2025Mar 28, 2025

• ouroboros-consensus

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

  blockchainconsensusouroboros

  Haskell

  •

  Apache License 2.0

  •25•50•369•42•Updated Mar 28, 2025Mar 28, 2025

• cardano-updates

  Public
  Regular updates from the Cardano developer team

  Shell

  •

  Apache License 2.0

  •16•10•4•0•Updated Mar 28, 2025Mar 28, 2025

• cc-portal

  Public
  This repository contains services for the Constitution Committee Portal.

  TypeScript

  •

  Apache License 2.0

  •1•4•37•2•Updated Mar 28, 2025Mar 28, 2025

• govtool-outcomes-pillar

  Public
  TypeScript

  •1•1•1•0•Updated Mar 28, 2025Mar 28, 2025

• intersect-steering-documentation

  Public
  This repo contains all of the changes associated to the Intersect Steering Committee GitBook/Knowledge Base.

  Apache License 2.0

  •0•0•0•0•Updated Mar 28, 2025Mar 28, 2025

• govtool-voting-pillar

  Public
  GovTool Voting Pillar Packages

  TypeScript

  •0•3•0•3•Updated Mar 28, 2025Mar 28, 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•282•323•23•Updated Mar 27, 2025Mar 27, 2025

• cardano-sync-tests

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

  Python

  •0•3•1•1•Updated Mar 27, 2025Mar 27, 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 Mar 27, 2025Mar 27, 2025

• govtool-delegation-pillar

  Public
  GovTool Delegation Pillar Packages

  TypeScript

  •0•4•0•2•Updated Mar 26, 2025Mar 26, 2025

• cardano-db-sync

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

  Haskell

  •

  Apache License 2.0

  •164•302•134•27•Updated Mar 26, 2025Mar 26, 2025

• cardano-formal-specifications

  Public
  TeX

  •1•1•1•0•Updated Mar 26, 2025Mar 26, 2025