Repositories list

• cardano-base

  Public
  Code used throughout the Cardano eco-system

  Haskell

  •

  Apache License 2.0

  •41•96•26•5•Updated Nov 20, 2024Nov 20, 2024

• formal-ledger-specifications

  Public
  Formal specifications of the cardano ledger

  agdaformal-methodscardano-node

  Agda

  •

  Apache License 2.0

  •13•37•75•7•Updated Nov 20, 2024Nov 20, 2024

• cardano-ledger

  Public
  The ledger implementation and specifications of the Cardano blockchain.

  blockchaincryptocurrencyada+ 1cardano

  Haskell

  •

  Apache License 2.0

  •157•261•197•13•Updated Nov 20, 2024Nov 20, 2024

• plutus

  Public
  The Plutus language implementation and tools

  programming-languagesmart-contractsblockchain

  Haskell

  •

  Apache License 2.0

  •479•1.6k•212•30•Updated Nov 20, 2024Nov 20, 2024

• cardano-sync-tests

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

  Python

  •0•3•0•0•Updated Nov 19, 2024Nov 19, 2024

• cardano-api

  Public
  Cardano API

  Haskell

  •

  Apache License 2.0

  •23•26•18•11•Updated Nov 19, 2024Nov 19, 2024

• cardano-node

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

  Haskell

  •

  Apache License 2.0

  •720•3.1k•285•63•Updated Nov 19, 2024Nov 19, 2024

• govtool

  Public
  🔩 GovTool and utilities monorepo.

  HTML

  •

  Apache License 2.0

  •9•14•204•3•Updated Nov 19, 2024Nov 19, 2024

• cardano-db-sync

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

  Haskell

  •

  Apache License 2.0

  •161•292•123•23•Updated Nov 19, 2024Nov 19, 2024

• budget-documentation

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

  Apache License 2.0

  •0•2•0•0•Updated Nov 19, 2024Nov 19, 2024

• cardano-addresses

  Public
  Addresses and mnemonic manipulation & derivations

  addresshierarchical-deterministic-walletscardano+ 1mnemonic

  Haskell

  •

  Apache License 2.0

  •46•148•10•5•Updated Nov 19, 2024Nov 19, 2024

• lsm-tree

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

  Haskell

  •

  Apache License 2.0

  •7•29•18•9•Updated Nov 19, 2024Nov 19, 2024

• 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

  •15•44•31•14•Updated Nov 19, 2024Nov 19, 2024

• governance-actions

  Public
  Anchor metadata for Governance Actions submitted by Intersect.

  Shell

  •3•2•1•0•Updated Nov 19, 2024Nov 19, 2024

• cardano-node-tests

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

  Python

  •

  Apache License 2.0

  •29•55•43•2•Updated Nov 19, 2024Nov 19, 2024

• 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

  •86•276•330•21•Updated Nov 19, 2024Nov 19, 2024

• tsc-documentation

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

  Apache License 2.0

  •0•1•0•0•Updated Nov 19, 2024Nov 19, 2024

• hf-wg-documentation

  Public
  Repository for hardfork working group documentation.

  1•2•0•0•Updated Nov 19, 2024Nov 19, 2024

• ouroboros-consensus

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

  blockchainconsensusouroboros

  Haskell

  •

  Apache License 2.0

  •23•36•350•36•Updated Nov 19, 2024Nov 19, 2024

• Intersect-knowledge-base

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

  Apache License 2.0

  •0•0•0•0•Updated Nov 19, 2024Nov 19, 2024

• committees-groups-documentation

  Public
  This repo retains updates for Committees and Intersect Groups set forth by the admin team.

  Apache License 2.0

  •0•3•0•0•Updated Nov 19, 2024Nov 19, 2024

• cardano-updates

  Public
  Regular updates from the Cardano developer team

  Shell

  •

  Apache License 2.0

  •16•10•4•0•Updated Nov 19, 2024Nov 19, 2024

• cc-portal

  Public
  This repository contains services for the Constitution Committee Portal.

  TypeScript

  •

  Apache License 2.0

  •0•4•36•4•Updated Nov 19, 2024Nov 19, 2024

• govtool-test-reports

  Public
  GovTool Tests Dashboard

  MIT License

  •0•1•1•0•Updated Nov 19, 2024Nov 19, 2024

• cardano-prelude

  Public
  A protolude-based custom prelude for the Cardano project

  Haskell

  •

  Apache License 2.0

  •11•16•8•3•Updated Nov 18, 2024Nov 18, 2024

• cardano-haskell-packages

  Public
  Metadata for Cardano's Haskell package repository

  haskellnixcardano

  Shell

  •

  Apache License 2.0

  •27•34•27•8•Updated Nov 18, 2024Nov 18, 2024

• parameters-documentation

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

  Apache License 2.0

  •0•2•0•0•Updated Nov 15, 2024Nov 15, 2024

• product-documentation

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

  Apache License 2.0

  •0•2•0•0•Updated Nov 14, 2024Nov 14, 2024

• govtool-proposal-pillar

  Public
  GovTool Proposal Pillar Packages

  JavaScript

  •

  Apache License 2.0

  •0•1•0•0•Updated Nov 14, 2024Nov 14, 2024

• 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 Nov 14, 2024Nov 14, 2024