Skip to content

@IntersectMBO Intersect MBO

Change the repository type filter

All

    Repositories list

    63 repositories

    • cc-portal

      Public
      This repository contains services for the Constitution Committee Portal.
      TypeScript
      •
      Apache License 2.0
      •0•3•39•4•Updated Sep 30, 2024Sep 30, 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•39•31•11•Updated Sep 30, 2024Sep 30, 2024

    • lsm-tree

      Public
      A Haskell library for on-disk tables based on LSM-Trees
      Haskell
      •
      Apache License 2.0
      •7•26•17•8•Updated Sep 30, 2024Sep 30, 2024

    • cardano-node

      Public
      The core component that is used to participate in a Cardano decentralised blockchain.
      Haskell
      •
      Apache License 2.0
      •723•3.1k•287•68•Updated Sep 30, 2024Sep 30, 2024

    • cardano-node-tests

      Public
      System and end-to-end (E2E) tests for cardano-node.
      Python
      •
      Apache License 2.0
      •29•53•44•3•Updated Sep 30, 2024Sep 30, 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.
      haskellnetworkblockchainouroboros
      Haskell
      •
      Apache License 2.0
      •86•276•338•33•Updated Sep 30, 2024Sep 30, 2024

    • ouroboros-consensus

      Public
      Implementation of a Consensus Layer for the Ouroboros family of protocols
      blockchainconsensusouroboros
      Haskell
      •
      Apache License 2.0
      •22•31•351•40•Updated Sep 30, 2024Sep 30, 2024

    • govtool

      Public
      🔩 GovTool and utilities monorepo.
      HTML
      •
      Apache License 2.0
      •7•13•185•3•Updated Sep 30, 2024Sep 30, 2024

    • formal-ledger-specifications

      Public
      Formal specifications of the cardano ledger
      agdaformal-methodscardano-node
      Agda
      •
      Apache License 2.0
      •13•36•83•10•Updated Sep 30, 2024Sep 30, 2024

    • cardano-db-sync

      Public
      A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
      Haskell
      •
      Apache License 2.0
      •162•290•120•19•Updated Sep 30, 2024Sep 30, 2024

    • cardano-ledger

      Public
      The ledger implementation and specifications of the Cardano blockchain.
      blockchaincryptocurrencyadacardano
      Haskell
      •
      Apache License 2.0
      •158•256•201•19•Updated Sep 30, 2024Sep 30, 2024

    • plutus

      Public
      The Plutus language implementation and tools
      programming-languagesmart-contractsblockchain
      Haskell
      •
      Apache License 2.0
      •480•1.6k•217•25•Updated Sep 30, 2024Sep 30, 2024

    • cardano-updates

      Public
      Regular updates from the Cardano developer team
      Shell
      •
      Apache License 2.0
      •16•8•5•0•Updated Sep 30, 2024Sep 30, 2024

    • cardano-haskell-packages

      Public
      Metadata for Cardano's Haskell package repository
      haskellnixcardano
      Shell
      •
      Apache License 2.0
      •27•33•27•7•Updated Sep 29, 2024Sep 29, 2024

    • cardano-api

      Public
      Cardano API
      Haskell
      •
      Apache License 2.0
      •23•22•16•16•Updated Sep 27, 2024Sep 27, 2024

    • intersect-constitutional-council

      Public
      Apache License 2.0
      •0•1•0•0•Updated Sep 27, 2024Sep 27, 2024

    • plutus-apps

      Public
      The Plutus application platform
      Haskell
      •
      Apache License 2.0
      •213•305•68•12•Updated Sep 27, 2024Sep 27, 2024

    • Open-Source-Office

      Public
      Intersect MBO Open Source Office (OSO)
      Apache License 2.0
      •1•6•0•1•Updated Sep 27, 2024Sep 27, 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 Sep 27, 2024Sep 27, 2024

    • govtool-test-reports

      Public
      GovTool Tests Dashboard
      MIT License
      •0•0•1•0•Updated Sep 27, 2024Sep 27, 2024

    • cardano-node-emulator

      Public
      Haskell
      •
      Apache License 2.0
      •4•3•6•2•Updated Sep 26, 2024Sep 26, 2024

    • credential-manager

      Public
      Credential and Identity management script for Constitutional Committee memebrs backed by X.509 certificates
      Haskell
      •
      Apache License 2.0
      •4•2•4•2•Updated Sep 26, 2024Sep 26, 2024

    • budget-documentation

      Public
      This repo retains updates for Budget Committee and relevant Working Groups
      Apache License 2.0
      •0•1•0•0•Updated Sep 26, 2024Sep 26, 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•1•0•0•Updated Sep 26, 2024Sep 26, 2024

    • cardano-addresses

      Public
      Addresses and mnemonic manipulation & derivations
      addresshierarchical-deterministic-walletscardanomnemonic
      Haskell
      •
      Apache License 2.0
      •46•146•22•11•Updated Sep 26, 2024Sep 26, 2024

    • oracles-standards

      Public
      This repo is a workspace and record of any and all standards developed by and for the Oracles Working Group.
      Apache License 2.0
      •2•0•0•0•Updated Sep 25, 2024Sep 25, 2024

    • 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
      •4•12•0•0•Updated Sep 25, 2024Sep 25, 2024

    • antaeus

      Public
      Cardano end-to-end testing framework for Haskell APIs
      Haskell
      •
      Apache License 2.0
      •2•9•14•1•Updated Sep 24, 2024Sep 24, 2024

    • committeess-groups-documentation

      Public
      This repo retains updates for Committees and Intersect Groups set forth by the admin team.
      Apache License 2.0
      •0•0•0•0•Updated Sep 23, 2024Sep 23, 2024

    • parameters-documentation

      Public
      This repo retains updates for Parameter Committee and relevant Working Groups
      Apache License 2.0
      •0•1•0•0•Updated Sep 23, 2024Sep 23, 2024