Repositories list

• formal-ledger-specifications

  Public

  IntersectMBO/formal-ledger-specifications’s past year of commit activity
  Formal specifications of the Cardano ledger

  agdaformal-methodscardano-node

  agdaformal-methodscardano-node

  Agda

  •

  Apache License 2.0

  •1919 forks•5050 stars•148148 issues•1010 pull requests•Updated Apr 23, 2026Apr 23, 2026

• evolution-sdk

  Public

  IntersectMBO/evolution-sdk’s past year of commit activity
  TypeScript

  •

  MIT License

  •2525 forks•1414 stars•1515 issues•2020 pull requests•Updated Apr 23, 2026Apr 23, 2026

• governance-scripts

  Public
  Repository to hold shell scripts that Intersect uses to engage in Cardano on-chain governance.

  Shell

  •

  Apache License 2.0

  •22 forks•77 stars•1313 issues•44 pull requests•Updated Apr 22, 2026Apr 22, 2026

• tsc-documentation

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

  Apache License 2.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 22, 2026Apr 22, 2026

• cardano-haskell-packages

  Public

  IntersectMBO/cardano-haskell-packages’s past year of commit activity
  Metadata for Cardano's Haskell package repository

  haskellnixcardano

  haskellnixcardano

  Shell

  •

  Apache License 2.0

  •3535 forks•3636 stars•2727 issues•1313 pull requests•Updated Apr 22, 2026Apr 22, 2026

• cardano-sync-tests

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

  Python

  •

  Apache License 2.0

  •00 forks•44 stars•11 issue•33 pull requests•Updated Apr 22, 2026Apr 22, 2026

• cardano-ledger

  Public
  The ledger implementation and specifications of the Cardano blockchain.

  blockchaincryptocurrencyada+ 1

  blockchaincryptocurrencyadacardano

  Haskell

  •

  Apache License 2.0

  •176176 forks•287287 stars•229229 issues•4040 pull requests•Updated Apr 22, 2026Apr 22, 2026

• cardano-api

  Public

  IntersectMBO/cardano-api’s past year of commit activity
  Cardano API

  Haskell

  •

  Apache License 2.0

  •2929 forks•4040 stars•1818 issues•1212 pull requests•Updated Apr 22, 2026Apr 22, 2026

• cardano-updates

  Public

  IntersectMBO/cardano-updates’s past year of commit activity
  Regular updates from the Cardano developer team

  Shell

  •

  Apache License 2.0

  •1515 forks•1111 stars•33 issues•11 pull request•Updated Apr 22, 2026Apr 22, 2026

• plutus

  Public
  The Plutus language implementation and tools

  programming-languagesmart-contractsblockchain

  programming-languagesmart-contractsblockchain

  Haskell

  •

  Apache License 2.0

  •510510 forks•1.6k1.6k stars•172172 issues•6868 pull requests•Updated Apr 22, 2026Apr 22, 2026

• cardano-node

  Public

  IntersectMBO/cardano-node’s past year of commit activity
  The core component that is used to participate in a Cardano decentralised blockchain.

  Haskell

  •

  Apache License 2.0

  •754754 forks•3.2k3.2k stars•8686 issues•3434 pull requests•Updated Apr 22, 2026Apr 22, 2026

• budget-management

  Public
  Apache License 2.0

  •22 forks•11 star•1414 issues•99 pull requests•Updated Apr 22, 2026Apr 22, 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

  •103103 forks•291291 stars•325325 issues•1515 pull requests•Updated Apr 22, 2026Apr 22, 2026

• Open-Source-Office

  Public

  IntersectMBO/Open-Source-Office’s past year of commit activity
  Intersect MBO Open Source Office (OSO)

  Shell

  •

  Apache License 2.0

  •22 forks•1515 stars•9292 issues•22 pull requests•Updated Apr 22, 2026Apr 22, 2026

• govtool

  Public
  🔩 GovTool and utilities monorepo.

  HTML

  •

  Apache License 2.0

  •2323 forks•2121 stars•339339 issues•1313 pull requests•Updated Apr 22, 2026Apr 22, 2026

• ouroboros-consensus

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

  blockchainconsensusouroboros

  blockchainconsensusouroboros

  Haskell

  •

  Apache License 2.0

  •4141 forks•6565 stars•401401 issues•7171 pull requests•Updated Apr 22, 2026Apr 22, 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•44 pull requests•Updated Apr 22, 2026Apr 22, 2026

• UPLC-CAPE

  Public
  Comparative Artifact Performance Evaluation

  Untyped Plutus Core

  •

  Apache License 2.0

  •77 forks•1313 stars•88 issues•22 pull requests•Updated Apr 22, 2026Apr 22, 2026

• Intersect-knowledge-base

  Public

  IntersectMBO/Intersect-knowledge-base’s past year of commit activity
  This repository holds the Intersect Knowledge Base

  Apache License 2.0

  •33 forks•11 star•00 issues•00 pull requests•Updated Apr 22, 2026Apr 22, 2026

• osc-documentation

  Public

  IntersectMBO/osc-documentation’s past year of commit activity
  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

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

• cardano-db-sync

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

  Haskell

  •

  Apache License 2.0

  •167167 forks•318318 stars•150150 issues•3838 pull requests•Updated Apr 22, 2026Apr 22, 2026

• civics-documentation

  Public

  IntersectMBO/civics-documentation’s past year of commit activity
  This repo retains updates for Civics Committee and relevant Working Groups

  Apache License 2.0

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

• lsm-tree

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

  haskelldatabase

  haskelldatabase

  Haskell

  •1515 forks•5353 stars•2525 issues•1313 pull requests•Updated Apr 22, 2026Apr 22, 2026

• developer-experience

  Public

  IntersectMBO/developer-experience’s past year of commit activity
  This repo is managed by Intersect on behalf of the Developer Advocates.

  TypeScript

  •

  Apache License 2.0

  •1919 forks•1111 stars•1111 issues•33 pull requests•Updated Apr 22, 2026Apr 22, 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

  •2323 forks•7373 stars•3333 issues•55 pull requests•Updated Apr 22, 2026Apr 22, 2026

• hf-wg-documentation

  Public
  Repository for hardfork working group documentation.

  1414 forks•44 stars•11 issue•00 pull requests•Updated Apr 21, 2026Apr 21, 2026

• cardano-addresses

  Public
  Addresses and mnemonic manipulation & derivations

  addressmnemonichierarchical-deterministic-wallets+ 1

  addressmnemonichierarchical-deterministic-walletscardano

  Haskell

  •

  Apache License 2.0

  •5151 forks•162162 stars•55 issues•22 pull requests•Updated Apr 21, 2026Apr 21, 2026

• dmq-node

  Public
  DMQ-Node is a diffusion layer for Mithril, based on Ouroboros-Network.

  Haskell

  •

  Apache License 2.0

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

• bech32

  Public
  Haskell implementation of the Bech32 address format (BIP 0173).

  Haskell

  •

  Apache License 2.0

  •1212 forks•4949 stars•1111 issues•22 pull requests•Updated Apr 20, 2026Apr 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 Apr 20, 2026Apr 20, 2026