Skip to content

@IntersectMBO Intersect MBO

Change the repository type filter

All

    Repositories list

    91 repositories

    • formal-ledger-specifications

      Public
      Formal specifications of the Cardano ledger
      agdaformal-methodscardano-node
      agdaformal-methodscardano-node
      Agda
      •
      Apache License 2.0
      •19•50•147•9•Updated Apr 24, 2026Apr 24, 2026

    • cardano-ledger

      Public
      The ledger implementation and specifications of the Cardano blockchain.
      blockchaincryptocurrencyada
      blockchaincryptocurrencyadacardano
      Haskell
      •
      Apache License 2.0
      •176•287•229•40•Updated Apr 24, 2026Apr 24, 2026

    • cardano-node

      Public
      The core component that is used to participate in a Cardano decentralised blockchain.
      Haskell
      •
      Apache License 2.0
      •754•3.2k•87•37•Updated Apr 24, 2026Apr 24, 2026

    • plutus

      Public
      The Plutus language implementation and tools
      programming-languagesmart-contractsblockchain
      programming-languagesmart-contractsblockchain
      Haskell
      •
      Apache License 2.0
      •510•1.6k•173•71•Updated Apr 24, 2026Apr 24, 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
      •7•3•0•0•Updated Apr 23, 2026Apr 23, 2026

    • hf-wg-documentation

      Public
      Repository for hardfork working group documentation.
      14•4•1•0•Updated Apr 23, 2026Apr 23, 2026

    • cardano-db-sync

      Public
      A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
      Haskell
      •
      Apache License 2.0
      •167•318•150•38•Updated Apr 23, 2026Apr 23, 2026

    • lsm-tree

      Public
      A Haskell library for on-disk tables based on LSM-Trees
      haskelldatabase
      haskelldatabase
      Haskell
      •15•53•26•15•Updated Apr 23, 2026Apr 23, 2026

    • cardano-api

      Public
      Cardano API
      Haskell
      •
      Apache License 2.0
      •29•40•18•12•Updated Apr 23, 2026Apr 23, 2026

    • evolution-sdk

      Public
      TypeScript
      •
      MIT License
      •25•14•13•19•Updated Apr 23, 2026Apr 23, 2026

    • cardano-haskell-packages

      Public
      Metadata for Cardano's Haskell package repository
      haskellnixcardano
      haskellnixcardano
      Shell
      •
      Apache License 2.0
      •35•36•27•13•Updated Apr 23, 2026Apr 23, 2026

    • UPLC-CAPE

      Public
      Comparative Artifact Performance Evaluation
      Untyped Plutus Core
      •
      Apache License 2.0
      •7•13•8•2•Updated Apr 23, 2026Apr 23, 2026

    • ouroboros-consensus

      Public
      Implementation of a Consensus Layer for the Ouroboros family of protocols
      blockchainconsensusouroboros
      blockchainconsensusouroboros
      Haskell
      •
      Apache License 2.0
      •41•65•403•70•Updated Apr 23, 2026Apr 23, 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
      haskellnetworkblockchainouroboros
      Haskell
      •
      Apache License 2.0
      •103•291•325•15•Updated Apr 23, 2026Apr 23, 2026

    • cardano-node-tests

      Public
      System and end-to-end (E2E) tests for cardano-node.
      Python
      •
      Apache License 2.0
      •28•59•39•4•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
      •2•7•12•4•Updated Apr 23, 2026Apr 23, 2026

    • cardano-updates

      Public
      Regular updates from the Cardano developer team
      Shell
      •
      Apache License 2.0
      •15•11•3•1•Updated Apr 23, 2026Apr 23, 2026

    • cardano-sync-tests

      Public
      Sync tests for cardano-node and db-sync.
      Python
      •
      Apache License 2.0
      •0•4•1•3•Updated Apr 23, 2026Apr 23, 2026

    • Intersect-knowledge-base

      Public
      This repository holds the Intersect Knowledge Base
      Apache License 2.0
      •3•1•0•0•Updated Apr 23, 2026Apr 23, 2026

    • 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 Apr 22, 2026Apr 22, 2026

    • budget-management

      Public
      Apache License 2.0
      •2•1•14•9•Updated Apr 22, 2026Apr 22, 2026

    • Open-Source-Office

      Public
      Intersect MBO Open Source Office (OSO)
      Shell
      •
      Apache License 2.0
      •2•15•92•2•Updated Apr 22, 2026Apr 22, 2026

    • govtool

      Public
      🔩 GovTool and utilities monorepo.
      HTML
      •
      Apache License 2.0
      •23•21•339•13•Updated Apr 22, 2026Apr 22, 2026

    • civics-documentation

      Public
      This repo retains updates for Civics Committee and relevant Working Groups
      Apache License 2.0
      •0•0•0•0•Updated Apr 22, 2026Apr 22, 2026

    • developer-experience

      Public
      This repo is managed by Intersect on behalf of the Developer Advocates.
      TypeScript
      •
      Apache License 2.0
      •19•11•11•3•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
      •23•73•33•5•Updated Apr 22, 2026Apr 22, 2026

    • cardano-addresses

      Public
      Addresses and mnemonic manipulation & derivations
      addressmnemonichierarchical-deterministic-wallets
      addressmnemonichierarchical-deterministic-walletscardano
      Haskell
      •
      Apache License 2.0
      •51•162•5•2•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
      •0•2•9•2•Updated Apr 21, 2026Apr 21, 2026

    • bech32

      Public
      Haskell implementation of the Bech32 address format (BIP 0173).
      Haskell
      •
      Apache License 2.0
      •12•49•11•2•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
      •0•1•0•0•Updated Apr 20, 2026Apr 20, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.