Skip to content
Change the repository type filter

All

    Repositories list

    • A library for probabilistic programming in Haskell.
      Jupyter Notebook
      69441378Updated Dec 7, 2025Dec 7, 2025
    • nickel

      Public
      Better configuration for less
      Rust
      1082.8k13219Updated Dec 7, 2025Dec 7, 2025
    • jupyenv

      Public
      Declarative and reproducible Jupyter environments - powered by Nix
      Nix
      1527263816Updated Dec 7, 2025Dec 7, 2025
    • Haskell
      1142162Updated Dec 6, 2025Dec 6, 2025
    • Fawltydeps rules(!) to keep your bazel python dependencies in check
      Starlark
      0002Updated Dec 6, 2025Dec 6, 2025
    • The ledger implementation and specifications of the Cardano blockchain.
      Haskell
      170002Updated Dec 6, 2025Dec 6, 2025
    • The central registry of Bazel modules for the Bzlmod external dependency system.
      Starlark
      612006Updated Dec 6, 2025Dec 6, 2025
    • A credential-helper framework and agent for Bazel and similar tools implementing the credential-helper spec.
      Go
      52852Updated Dec 6, 2025Dec 6, 2025
    • Rules for importing Nixpkgs packages into Bazel.
      Starlark
      923556325Updated Dec 6, 2025Dec 6, 2025
    • Haskell rules for Bazel.
      Starlark
      8827818040Updated Dec 6, 2025Dec 6, 2025
    • The core component that is used to participate in a Cardano decentralised blockchain.
      Haskell
      748002Updated Dec 5, 2025Dec 5, 2025
    • topiary

      Public
      Rust
      467599011Updated Dec 5, 2025Dec 5, 2025
    • Architecture for Ouroboros Peras on the Cardano chain
      TeX
      03562Updated Dec 5, 2025Dec 5, 2025
    • Canonical Ledger Format for Cardano
      Haskell
      01204Updated Dec 5, 2025Dec 5, 2025
    • Plutus Script Re-Executor
      Haskell
      01192Updated Dec 5, 2025Dec 5, 2025
    • Implementation of a Consensus Layer for the Ouroboros family of protocols
      Haskell
      38005Updated Dec 5, 2025Dec 5, 2025
    • CIPs

      Public
      Cardano Improvement Proposals (CIPs)
      JavaScript
      374001Updated Dec 4, 2025Dec 4, 2025
    • github-as-code

      Public template
      GitHub Configuration as Code
      TypeScript
      9003Updated Dec 4, 2025Dec 4, 2025
    • TeX
      08110Updated Dec 4, 2025Dec 4, 2025
    • The website of the Nickel language
      JavaScript
      55158Updated Dec 4, 2025Dec 4, 2025
    • nixpkgs

      Public
      Nix Packages collection
      Nix
      17k101Updated Dec 3, 2025Dec 3, 2025
    • Web service for managing information on vulnerabilities in software distributed through Nixpkgs
      Python
      14000Updated Dec 3, 2025Dec 3, 2025
    • rules_sh

      Public
      Shell rules for Bazel
      Starlark
      547123Updated Dec 3, 2025Dec 3, 2025
    • A gazelle extension to generate haskell_module rules
      Haskell
      3662Updated Dec 3, 2025Dec 3, 2025
    • A gazelle extension to produce Haskell rules from cabal files
      Haskell
      614143Updated Dec 3, 2025Dec 3, 2025
    • 02183Updated Dec 3, 2025Dec 3, 2025
    • Demonstrate the value of GitHub
      TypeScript
      9009Updated Dec 2, 2025Dec 2, 2025
    • GitHub action for executing scripts via nix-shell.
      Shell
      1543Updated Dec 2, 2025Dec 2, 2025
    • The Plutus language implementation and tools
      Haskell
      501006Updated Dec 2, 2025Dec 2, 2025
    • Implementation of a Consensus Layer for the Ouroboros family of protocols
      Haskell
      0220Updated Nov 27, 2025Nov 27, 2025