Skip to content

@IntersectMBO Intersect MBO

Change the repository type filter

All

    Repositories list

    78 repositories

    • formal-ledger-specifications

      Public
      Formal specifications of the cardano ledger
      agdaformal-methodscardano-node
      Agda
      •
      Apache License 2.0
      •15•38•83•13•Updated Feb 12, 2025Feb 12, 2025

    • cardano-node

      Public
      The core component that is used to participate in a Cardano decentralised blockchain.
      Haskell
      •
      Apache License 2.0
      •721•3.1k•272•62•Updated Feb 12, 2025Feb 12, 2025

    • govtool-test-reports

      Public
      GovTool Tests Dashboard
      MIT License
      •0•1•1•0•Updated Feb 12, 2025Feb 12, 2025

    • govtool

      Public
      🔩 GovTool and utilities monorepo.
      HTML
      •
      Apache License 2.0
      •10•16•202•6•Updated Feb 12, 2025Feb 12, 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
      •87•281•324•26•Updated Feb 12, 2025Feb 12, 2025

    • lsm-tree

      Public
      A Haskell library for on-disk tables based on LSM-Trees
      Haskell
      •
      Apache License 2.0
      •7•34•23•9•Updated Feb 12, 2025Feb 12, 2025

    • plutus

      Public
      The Plutus language implementation and tools
      programming-languagesmart-contractsblockchain
      Haskell
      •
      Apache License 2.0
      •483•1.6k•214•36•Updated Feb 12, 2025Feb 12, 2025

    • hf-wg-documentation

      Public
      Repository for hardfork working group documentation.
      12•4•0•0•Updated Feb 12, 2025Feb 12, 2025

    • cardano-api

      Public
      Cardano API
      Haskell
      •
      Apache License 2.0
      •23•28•19•17•Updated Feb 12, 2025Feb 12, 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
      •16•48•30•14•Updated Feb 11, 2025Feb 11, 2025

    • cardano-ledger

      Public
      The ledger implementation and specifications of the Cardano blockchain.
      blockchaincryptocurrencyadacardano
      Haskell
      •
      Apache License 2.0
      •156•268•196•10•Updated Feb 11, 2025Feb 11, 2025

    • cardano-haskell-packages

      Public
      Metadata for Cardano's Haskell package repository
      haskellnixcardano
      Shell
      •
      Apache License 2.0
      •29•34•27•10•Updated Feb 11, 2025Feb 11, 2025

    • ouroboros-consensus

      Public
      Implementation of a Consensus Layer for the Ouroboros family of protocols
      blockchainconsensusouroboros
      Haskell
      •
      Apache License 2.0
      •25•47•371•40•Updated Feb 11, 2025Feb 11, 2025

    • budget-documentation

      Public
      This repo retains updates for Budget Committee and relevant Working Groups
      Apache License 2.0
      •0•2•0•0•Updated Feb 11, 2025Feb 11, 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 Feb 11, 2025Feb 11, 2025

    • cardano-node-tests

      Public
      System and end-to-end (E2E) tests for cardano-node.
      Python
      •
      Apache License 2.0
      •29•55•43•3•Updated Feb 11, 2025Feb 11, 2025

    • govtool-outcomes-pillar

      Public
      TypeScript
      •1•1•0•0•Updated Feb 11, 2025Feb 11, 2025

    • plutus-script-evaluation

      Public
      A Job to dump Plutus scripts.
      Haskell
      •0•1•0•2•Updated Feb 11, 2025Feb 11, 2025

    • Intersect-knowledge-base

      Public
      This Repo syncs the data and changes added to the Intersect Knowledge Base on GitBook
      Apache License 2.0
      •0•1•0•0•Updated Feb 11, 2025Feb 11, 2025

    • council-toolkit-app

      Public
      Web app for Intersect Constitutional Council voting procedures
      TypeScript
      •
      Apache License 2.0
      •0•1•8•2•Updated Feb 11, 2025Feb 11, 2025

    • plutus-tx-template

      Public template
      This is a template repository for kickstarting your plutus-tx smart contract project. Please refer to the README.md for more information.
      Haskell
      •
      Apache License 2.0
      •6•16•0•1•Updated Feb 11, 2025Feb 11, 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 Feb 11, 2025Feb 11, 2025

    • cardano-sync-tests

      Public
      Sync tests for cardano-node and db-sync.
      Python
      •0•3•0•3•Updated Feb 11, 2025Feb 11, 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 Feb 11, 2025Feb 11, 2025

    • governance-actions

      Public
      Anchor metadata for Governance Actions submitted by Intersect.
      Shell
      •3•3•1•2•Updated Feb 10, 2025Feb 10, 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 Feb 10, 2025Feb 10, 2025

    • governance-tools-documentation

      Public
      Repository containing documentation for the core governance tools.
      Apache License 2.0
      •0•5•0•0•Updated Feb 10, 2025Feb 10, 2025

    • cc-portal

      Public
      This repository contains services for the Constitution Committee Portal.
      TypeScript
      •
      Apache License 2.0
      •1•4•33•2•Updated Feb 10, 2025Feb 10, 2025

    • govtool-proposal-pillar

      Public
      GovTool Proposal Pillar Packages
      JavaScript
      •
      Apache License 2.0
      •0•1•0•0•Updated Feb 7, 2025Feb 7, 2025

    • cardano-addresses

      Public
      Addresses and mnemonic manipulation & derivations
      addresshierarchical-deterministic-walletscardanomnemonic
      Haskell
      •
      Apache License 2.0
      •49•155•8•1•Updated Feb 7, 2025Feb 7, 2025