Skip to content
Change the repository type filter

All

    Repositories list

    • A protolude-based custom prelude for the Cardano project
      Haskell
      111693Updated Aug 13, 2025Aug 13, 2025
    • The ledger implementation and specifications of the Cardano blockchain.
      Haskell
      16127421718Updated Aug 13, 2025Aug 13, 2025
    • GovTool Tests Dashboard
      0110Updated Aug 13, 2025Aug 13, 2025
    • plutus

      Public
      The Plutus language implementation and tools
      Haskell
      4851.6k16148Updated Aug 13, 2025Aug 13, 2025
    • 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.
      Haskell
      8928332318Updated Aug 13, 2025Aug 13, 2025
    • The core component that is used to participate in a Cardano decentralised blockchain.
      Haskell
      7343.1k25143Updated Aug 12, 2025Aug 12, 2025
    • This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.
      Haskell
      19644220Updated Aug 12, 2025Aug 12, 2025
    • Cardano API
      Haskell
      25352611Updated Aug 12, 2025Aug 12, 2025
    • Implementation of a Consensus Layer for the Ouroboros family of protocols
      Haskell
      315439154Updated Aug 12, 2025Aug 12, 2025
    • govtool

      Public
      🔩 GovTool and utilities monorepo.
      HTML
      172230512Updated Aug 12, 2025Aug 12, 2025
    • System and end-to-end (E2E) tests for cardano-node.
      Python
      3159382Updated Aug 12, 2025Aug 12, 2025
    • UPLC-CAPE

      Public
      Comparative Artifact Performance Evaluation
      Shell
      2101Updated Aug 12, 2025Aug 12, 2025
    • Sync tests for cardano-node and db-sync.
      Python
      0314Updated Aug 12, 2025Aug 12, 2025
    • This repository holds the Intersect Knowledge Base
      2100Updated Aug 12, 2025Aug 12, 2025
    • lsm-tree

      Public
      A Haskell library for on-disk tables based on LSM-Trees
      Haskell
      948198Updated Aug 11, 2025Aug 11, 2025
    • A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
      Haskell
      16630814529Updated Aug 11, 2025Aug 11, 2025
    • GovTool Proposal Pillar Packages
      JavaScript
      1101Updated Aug 11, 2025Aug 11, 2025
    • Metadata for Cardano's Haskell package repository
      Shell
      30362711Updated Aug 10, 2025Aug 10, 2025
    • Formal specifications of the Cardano ledger
      Agda
      18441065Updated Aug 8, 2025Aug 8, 2025
    • This repo contains all of the changes associated to the Intersect Steering Committee GitBook/Knowledge Base.
      0000Updated Aug 8, 2025Aug 8, 2025
    • Regular updates from the Cardano developer team
      Shell
      161040Updated Aug 8, 2025Aug 8, 2025
    • Networking library for Windows
      Haskell
      6440Updated Aug 8, 2025Aug 8, 2025
    • Web app for Intersect Constitutional Council
      TypeScript
      12163Updated Aug 8, 2025Aug 8, 2025
    • 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.
      2300Updated Aug 7, 2025Aug 7, 2025
    • TypeScript
      2110Updated Aug 4, 2025Aug 4, 2025
    • Haskell
      8553Updated Aug 4, 2025Aug 4, 2025
    • plinth-template

      Public template
      This is a template repository for kickstarting your Plinth smart contract project. Please refer to the README.md for more information.
      Haskell
      92000Updated Aug 1, 2025Aug 1, 2025
    • Repository for files related to the Intersect Constitutional Council.
      Shell
      0430Updated Aug 1, 2025Aug 1, 2025
    • This repo contains updates, changes, and other documents for the Growth and Marketing Committee at Intersect.
      0000Updated Aug 1, 2025Aug 1, 2025
    • This repo retains updates for Technical Steering Committee and relevant Technical Working Groups
      0100Updated Aug 1, 2025Aug 1, 2025