Skip to content
Change the repository type filter

All

    Repositories list

    • Architecture for Ouroboros Peras on the Cardano chain
      TeX
      03663Updated Feb 18, 2026Feb 18, 2026
    • Hoarding Node for Cardano
      Nix
      01241Updated Feb 18, 2026Feb 18, 2026
    • Implementation of a Consensus Layer for the Ouroboros family of protocols
      Haskell
      390010Updated Feb 18, 2026Feb 18, 2026
    • plutus-script-reexecutor

      Public
      Plutus Script Re-Executor
      Haskell
      03434Updated Feb 18, 2026Feb 18, 2026
    • cardano-conformance-testing-of-consensus

      Public
      02151Updated Feb 18, 2026Feb 18, 2026
    • nixpkgs

      Public
      Nix Packages collection
      Nix
      18k103Updated Feb 17, 2026Feb 17, 2026
    • cardano-node

      Public
      The core component that is used to participate in a Cardano decentralised blockchain.
      Haskell
      747003Updated Feb 17, 2026Feb 17, 2026
    • ouroboros-consensus-testing

      Public
      Implementation of a Consensus Layer for the Ouroboros family of protocols
      Haskell
      0313Updated Feb 17, 2026Feb 17, 2026
    • ormolu

      Public
      A formatter for Haskell source code
      Haskell
      881k731Updated Feb 17, 2026Feb 17, 2026
    • Haskell rules for Bazel.
      Starlark
      8827817838Updated Feb 17, 2026Feb 17, 2026
    • Metadata for Cardano's Haskell package repository
      Shell
      34000Updated Feb 17, 2026Feb 17, 2026
    • GitHub action for executing scripts via nix-shell.
      Shell
      1630Updated Feb 17, 2026Feb 17, 2026
    • A home for Tweag's investigation into the cost structure of Cardano block validation
      Julia
      0001Updated Feb 17, 2026Feb 17, 2026
    • Haskell
      1142152Updated Feb 16, 2026Feb 16, 2026
    • A Rust library for Cardano standard canonical ledger state
      Rust
      0041Updated Feb 16, 2026Feb 16, 2026
    • The ledger implementation and specifications of the Cardano blockchain.
      Haskell
      175001Updated Feb 16, 2026Feb 16, 2026
    • A gazelle extension to generate haskell_module rules
      Haskell
      3664Updated Feb 15, 2026Feb 15, 2026
    • A gazelle extension to produce Haskell rules from cabal files
      Haskell
      614146Updated Feb 15, 2026Feb 15, 2026
    • A library for probabilistic programming in Haskell.
      Jupyter Notebook
      68442378Updated Feb 15, 2026Feb 15, 2026
    • jupyenv

      Public
      Declarative and reproducible Jupyter environments - powered by Nix
      Nix
      1537363917Updated Feb 15, 2026Feb 15, 2026
    • opam-nix

      Public
      Turn opam-based OCaml projects into Nix derivations
      Nix
      4514890Updated Feb 14, 2026Feb 14, 2026
    • Demonstrate the value of GitHub
      TypeScript
      90016Updated Feb 14, 2026Feb 14, 2026
    • Rules for importing Nixpkgs packages into Bazel.
      Starlark
      923646526Updated Feb 14, 2026Feb 14, 2026
    • Cardano API
      Haskell
      27002Updated Feb 13, 2026Feb 13, 2026
    • buck2

      Public
      Build system, successor to Buck
      Rust
      329109Updated Feb 13, 2026Feb 13, 2026
    • TeX
      08110Updated Feb 13, 2026Feb 13, 2026
    • rules_sh

      Public
      Shell rules for Bazel
      Starlark
      548122Updated Feb 12, 2026Feb 12, 2026
    • HaskellR

      Public
      The full power of R in Haskell.
      Haskell
      42586201Updated Feb 11, 2026Feb 11, 2026
    • Python
      0102Updated Feb 11, 2026Feb 11, 2026
    • The central registry of Bazel modules for the Bzlmod external dependency system.
      Starlark
      670008Updated Feb 11, 2026Feb 11, 2026