Skip to content
Change the repository type filter

All

    Repositories list

    • Implementation of a Consensus Layer for the Ouroboros family of protocols
      Haskell
      0220Updated Dec 19, 2025Dec 19, 2025
    • Haskell rules for Bazel.
      Starlark
      8927818041Updated Dec 19, 2025Dec 19, 2025
    • 0282Updated Dec 19, 2025Dec 19, 2025
    • Pipeline examples to run codeql anywhere using codeql-wrapper
      Rust
      0003Updated Dec 19, 2025Dec 19, 2025
    • Fast, parallel CodeQL scanning for monorepos, targeting only modified projects for efficiency.
      Python
      1103Updated Dec 19, 2025Dec 19, 2025
    • Metadata for Cardano's Haskell package repository
      Shell
      32000Updated Dec 19, 2025Dec 19, 2025
    • Haskell
      1142150Updated Dec 19, 2025Dec 19, 2025
    • gazelle_cabal

      Public
      A gazelle extension to produce Haskell rules from cabal files
      Haskell
      614144Updated Dec 19, 2025Dec 19, 2025
    • CIPs

      Public
      Cardano Improvement Proposals (CIPs)
      JavaScript
      375001Updated Dec 19, 2025Dec 19, 2025
    • Plutus Script Re-Executor
      Haskell
      01264Updated Dec 19, 2025Dec 19, 2025
    • nickel

      Public
      Better configuration for less
      Rust
      1082.8k13112Updated Dec 19, 2025Dec 19, 2025
    • A home for Tweag's investigation into the cost structure of Cardano block validation
      Julia
      0000Updated Dec 19, 2025Dec 19, 2025
    • Implementation of a Consensus Layer for the Ouroboros family of protocols
      Haskell
      38005Updated Dec 19, 2025Dec 19, 2025
    • The core component that is used to participate in a Cardano decentralised blockchain.
      Haskell
      748001Updated Dec 18, 2025Dec 18, 2025
    • Rules for importing Nixpkgs packages into Bazel.
      Starlark
      913556325Updated Dec 18, 2025Dec 18, 2025
    • Architecture for Ouroboros Peras on the Cardano chain
      TeX
      03621Updated Dec 18, 2025Dec 18, 2025
    • Canonical Ledger Format for Cardano
      Haskell
      01145Updated Dec 18, 2025Dec 18, 2025
    • Web service for managing information on vulnerabilities in software distributed through Nixpkgs
      Python
      14000Updated Dec 18, 2025Dec 18, 2025
    • The ledger implementation and specifications of the Cardano blockchain.
      Haskell
      170002Updated Dec 18, 2025Dec 18, 2025
    • Standard library for linear types in Haskell.
      Haskell
      403514610Updated Dec 18, 2025Dec 18, 2025
    • topiary

      Public
      Rust
      477659012Updated Dec 17, 2025Dec 17, 2025
    • TeX
      08110Updated Dec 17, 2025Dec 17, 2025
    • The website of the Nickel language
      JavaScript
      65153Updated Dec 17, 2025Dec 17, 2025
    • rules_sh

      Public
      Shell rules for Bazel
      Starlark
      547123Updated Dec 16, 2025Dec 16, 2025
    • A gazelle extension to generate haskell_module rules
      Haskell
      3663Updated Dec 16, 2025Dec 16, 2025
    • ormolu

      Public
      A formatter for Haskell source code
      Haskell
      861k702Updated Dec 16, 2025Dec 16, 2025
    • nixpkgs

      Public
      Nix Packages collection
      Nix
      17k101Updated Dec 15, 2025Dec 15, 2025
    • GitHub action for executing scripts via nix-shell.
      Shell
      1543Updated Dec 15, 2025Dec 15, 2025
    • This repository contains a tutorial for learning OpenFGA (Fine Grained Authorization).
      Python
      0100Updated Dec 15, 2025Dec 15, 2025
    • A library for probabilistic programming in Haskell.
      Jupyter Notebook
      69441378Updated Dec 14, 2025Dec 14, 2025