Skip to content
Change the repository type filter

All

    Repositories list

    • Haskell
      Apache License 2.0
      1163Updated Apr 15, 2026Apr 15, 2026
    • persistent worker prototype
      Haskell
      4000Updated Apr 15, 2026Apr 15, 2026
    • Haskell rules for Bazel.
      Starlark
      Apache License 2.0
      8827517835Updated Apr 15, 2026Apr 15, 2026
    • Web service for managing information on vulnerabilities in software distributed through Nixpkgs
      Python
      MIT License
      32100Updated Apr 15, 2026Apr 15, 2026
    • Architecture for Ouroboros Peras on the Cardano chain
      TeX
      05644Updated Apr 15, 2026Apr 15, 2026
    • The ledger implementation and specifications of the Cardano blockchain.
      Haskell
      Apache License 2.0
      176103Updated Apr 15, 2026Apr 15, 2026
    • Canonical Ledger Format for Cardano
      Haskell
      12238Updated Apr 15, 2026Apr 15, 2026
    • CIPs

      Public
      Cardano Improvement Proposals (CIPs)
      Python
      Creative Commons Attribution 4.0 International
      386100Updated Apr 15, 2026Apr 15, 2026
    • A gazelle extension to generate haskell_module rules
      Haskell
      Apache License 2.0
      3763Updated Apr 15, 2026Apr 15, 2026
    • Rules for importing Nixpkgs packages into Bazel.
      Starlark
      Apache License 2.0
      953776533Updated Apr 15, 2026Apr 15, 2026
    • rules_sh

      Public
      Shell rules for Bazel
      Starlark
      Apache License 2.0
      547124Updated Apr 14, 2026Apr 14, 2026
    • A gazelle extension to produce Haskell rules from cabal files
      Starlark
      Apache License 2.0
      714148Updated Apr 14, 2026Apr 14, 2026
    • Implementation of a Consensus Layer for the Ouroboros family of protocols
      Haskell
      Apache License 2.0
      0412Updated Apr 14, 2026Apr 14, 2026
    • A Rust library for Cardano standard canonical ledger state
      Rust
      Apache License 2.0
      0141Updated Apr 14, 2026Apr 14, 2026
    • pyfunflow

      Public
      Declarative composable typed workflows in Python
      Python
      1701Updated Apr 13, 2026Apr 13, 2026
    • Python
      MIT License
      0205Updated Apr 13, 2026Apr 13, 2026
    • Diff

      Public
      Clone of Sterling Clover's Diff repo on hub.darcs.net
      Haskell
      Other
      5000Updated Apr 13, 2026Apr 13, 2026
    • Haskell
      MIT License
      124340Updated Apr 13, 2026Apr 13, 2026
    • A library for probabilistic programming in Haskell.
      Jupyter Notebook
      MIT License
      68442378Updated Apr 12, 2026Apr 12, 2026
    • jupyenv

      Public
      Declarative and reproducible Jupyter environments - powered by Nix
      Nix
      MIT License
      1537393917Updated Apr 12, 2026Apr 12, 2026
    • TeX
      08110Updated Apr 10, 2026Apr 10, 2026
    • Implementation of a Consensus Layer for the Ouroboros family of protocols
      Haskell
      Apache License 2.0
      411012Updated Apr 10, 2026Apr 10, 2026
    • GitHub action for executing scripts via nix-shell.
      Shell
      Apache License 2.0
      1832Updated Apr 10, 2026Apr 10, 2026
    • The buck2 haskell rules.
      Starlark
      2000Updated Apr 9, 2026Apr 9, 2026
    • HaskellR

      Public
      The full power of R in Haskell.
      Haskell
      Other
      42587201Updated Apr 8, 2026Apr 8, 2026
    • Hoarding Node for Cardano
      Nix
      03226Updated Apr 7, 2026Apr 7, 2026
    • Plutus Script Re-Executor
      Haskell
      MIT License
      04394Updated Apr 2, 2026Apr 2, 2026
    • A home for Tweag's investigation into the cost structure of Cardano block validation
      Julia
      0110Updated Apr 1, 2026Apr 1, 2026
    • ormolu

      Public
      A formatter for Haskell source code
      Haskell
      Other
      891.1k752Updated Apr 1, 2026Apr 1, 2026
    • The core component that is used to participate in a Cardano decentralised blockchain.
      Haskell
      Apache License 2.0
      753102Updated Mar 30, 2026Mar 30, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.