Skip to content

@IntersectMBO Intersect MBO

Change the repository type filter

All

    Repositories list

    81 repositories

    • ouroboros-consensus

      Public
      Implementation of a Consensus Layer for the Ouroboros family of protocols
      blockchainconsensusouroboros
      Haskell
      •
      Apache License 2.0
      •28•52•388•46•Updated Jun 5, 2025Jun 5, 2025

    • intersect-constitutional-council

      Public
      Repository for files related to the Intersect Constitutional Council.
      Shell
      •
      Apache License 2.0
      •0•4•0•0•Updated Jun 5, 2025Jun 5, 2025

    • plutus

      Public
      The Plutus language implementation and tools
      programming-languagesmart-contractsblockchain
      Haskell
      •
      Apache License 2.0
      •486•1.6k•177•36•Updated Jun 5, 2025Jun 5, 2025

    • cardano-node

      Public
      The core component that is used to participate in a Cardano decentralised blockchain.
      Haskell
      •
      Apache License 2.0
      •732•3.1k•283•52•Updated Jun 5, 2025Jun 5, 2025

    • council-toolkit-app

      Public
      Web app for Intersect Constitutional Council
      TypeScript
      •
      Apache License 2.0
      •1•2•15•2•Updated Jun 5, 2025Jun 5, 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•3•0•0•Updated Jun 5, 2025Jun 5, 2025

    • govtool

      Public
      🔩 GovTool and utilities monorepo.
      HTML
      •
      Apache License 2.0
      •16•21•256•7•Updated Jun 5, 2025Jun 5, 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.
      haskellnetworkblockchainouroboros
      Haskell
      •
      Apache License 2.0
      •89•282•321•26•Updated Jun 5, 2025Jun 5, 2025

    • govtool-proposal-pillar

      Public
      GovTool Proposal Pillar Packages
      JavaScript
      •
      Apache License 2.0
      •1•1•0•1•Updated Jun 5, 2025Jun 5, 2025

    • govtool-test-reports

      Public
      GovTool Tests Dashboard
      MIT License
      •0•1•1•0•Updated Jun 5, 2025Jun 5, 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 Jun 5, 2025Jun 5, 2025

    • Intersect-knowledge-base

      Public
      This repository holds the Intersect Knowledge Base
      Apache License 2.0
      •2•1•0•0•Updated Jun 5, 2025Jun 5, 2025

    • cc-ballot

      Public
      TypeScript
      •
      Mozilla Public License 2.0
      •5•1•27•0•Updated Jun 5, 2025Jun 5, 2025

    • cardano-ledger

      Public
      The ledger implementation and specifications of the Cardano blockchain.
      blockchaincryptocurrencyadacardano
      Haskell
      •
      Apache License 2.0
      •157•272•215•16•Updated Jun 5, 2025Jun 5, 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•63•36•9•Updated Jun 4, 2025Jun 4, 2025

    • cardano-api

      Public
      Cardano API
      Haskell
      •
      Apache License 2.0
      •23•33•16•10•Updated Jun 4, 2025Jun 4, 2025

    • cardano-node-tests

      Public
      System and end-to-end (E2E) tests for cardano-node.
      Python
      •
      Apache License 2.0
      •30•59•38•2•Updated Jun 4, 2025Jun 4, 2025

    • formal-ledger-specifications

      Public
      Formal specifications of the cardano ledger
      agdaformal-methodscardano-node
      Agda
      •
      Apache License 2.0
      •15•41•91•5•Updated Jun 4, 2025Jun 4, 2025

    • cardano-db-sync

      Public
      A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
      Haskell
      •
      Apache License 2.0
      •161•306•139•32•Updated Jun 4, 2025Jun 4, 2025

    • governance-tools-documentation

      Public
      Repository containing documentation for the core governance tools.
      Apache License 2.0
      •0•6•0•0•Updated Jun 4, 2025Jun 4, 2025

    • lsm-tree

      Public
      A Haskell library for on-disk tables based on LSM-Trees
      Haskell
      •
      Apache License 2.0
      •8•42•27•14•Updated Jun 4, 2025Jun 4, 2025

    • cardano-updates

      Public
      Regular updates from the Cardano developer team
      Shell
      •
      Apache License 2.0
      •16•10•4•0•Updated Jun 4, 2025Jun 4, 2025

    • cardano-haskell-packages

      Public
      Metadata for Cardano's Haskell package repository
      haskellnixcardano
      Shell
      •
      Apache License 2.0
      •30•34•27•9•Updated Jun 4, 2025Jun 4, 2025

    • 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 Jun 4, 2025Jun 4, 2025

    • govtool-outcomes-pillar

      Public
      TypeScript
      •2•1•1•0•Updated Jun 3, 2025Jun 3, 2025

    • 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 Jun 3, 2025Jun 3, 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 Jun 2, 2025Jun 2, 2025

    • budget-documentation

      Public
      This repo retains updates for Budget Committee and relevant Working Groups
      Apache License 2.0
      •0•2•0•0•Updated Jun 2, 2025Jun 2, 2025

    • cardano-airgap

      Public
      Builds an airgapped nixos boot image with credential-manager signing tools.
      Nix
      •
      Apache License 2.0
      •2•0•0•1•Updated Jun 2, 2025Jun 2, 2025

    • civics-documentation

      Public
      This repo retains updates for Civics Committee and relevant Working Groups
      Apache License 2.0
      •0•0•0•0•Updated Jun 1, 2025Jun 1, 2025