Skip to content
Change the repository type filter

All

    Repositories list

    • nixpkgs

      Public
      Nix Packages collection
      Nix
      MIT License
      19k201Updated Apr 24, 2026Apr 24, 2026
    • ghc-persistent-worker

      Public
      persistent worker prototype
      Haskell
      4000Updated Apr 24, 2026Apr 24, 2026
    • cardano-peras

      Public
      Architecture for Ouroboros Peras on the Cardano chain
      TeX
      05684Updated Apr 24, 2026Apr 24, 2026
    • TeX
      08110Updated Apr 24, 2026Apr 24, 2026
    • Diff

      Public
      Clone of Sterling Clover's Diff repo on hub.darcs.net
      Haskell
      Other
      5000Updated Apr 23, 2026Apr 23, 2026
    • Hackage-Server: A Haskell Package Repository
      Haskell
      Other
      220000Updated Apr 23, 2026Apr 23, 2026
    • snowydeer

      Public
      Build Nix packages inside buck2
      Starlark
      2000Updated Apr 23, 2026Apr 23, 2026
    • LLM-powered typed-holes
      Haskell
      MIT License
      2051Updated Apr 23, 2026Apr 23, 2026
    • ifl2025-liquidhaskell

      Public
      Refinement-Types Driven Development: A study @ IFL 2025
      TeX
      1100Updated Apr 23, 2026Apr 23, 2026
    • rules_nixpkgs

      Public
      Rules for importing Nixpkgs packages into Bazel.
      Starlark
      Apache License 2.0
      963786531Updated Apr 23, 2026Apr 23, 2026
    • nixtract

      Public
      A CLI tool to extract the graph of derivations from a Nix flake.
      Rust
      710782Updated Apr 23, 2026Apr 23, 2026
    • ormolu

      Public
      A formatter for Haskell source code
      Haskell
      Other
      891.1k762Updated Apr 23, 2026Apr 23, 2026
    • Implementation of a Consensus Layer for the Ouroboros family of protocols
      Haskell
      Apache License 2.0
      411013Updated Apr 22, 2026Apr 22, 2026
    • gazelle_haskell_modules

      Public
      A gazelle extension to generate haskell_module rules
      Haskell
      Apache License 2.0
      3763Updated Apr 22, 2026Apr 22, 2026
    • gazelle_cabal

      Public
      A gazelle extension to produce Haskell rules from cabal files
      Starlark
      Apache License 2.0
      714148Updated Apr 22, 2026Apr 22, 2026
    • Haskell
      Apache License 2.0
      1161Updated Apr 22, 2026Apr 22, 2026
    • Web service for managing information on vulnerabilities in software distributed through Nixpkgs
      Python
      MIT License
      32100Updated Apr 22, 2026Apr 22, 2026
    • GitHub action for executing scripts via nix-shell.
      Shell
      Apache License 2.0
      1831Updated Apr 22, 2026Apr 22, 2026
    • buck2-haskell

      Public
      The buck2 haskell rules.
      Starlark
      2000Updated Apr 21, 2026Apr 21, 2026
    • Python
      MIT License
      0207Updated Apr 21, 2026Apr 21, 2026
    • rules_sh

      Public
      Shell rules for Bazel
      Starlark
      Apache License 2.0
      547112Updated Apr 21, 2026Apr 21, 2026
    • The ledger implementation and specifications of the Cardano blockchain.
      Haskell
      Apache License 2.0
      176102Updated Apr 21, 2026Apr 21, 2026
    • HaskellR

      Public
      The full power of R in Haskell.
      Haskell
      Other
      42587200Updated Apr 19, 2026Apr 19, 2026
    • A library for probabilistic programming in Haskell.
      Jupyter Notebook
      MIT License
      68442378Updated Apr 19, 2026Apr 19, 2026
    • jupyenv

      Public
      Declarative and reproducible Jupyter environments - powered by Nix
      Nix
      MIT License
      1537393917Updated Apr 19, 2026Apr 19, 2026
    • Haskell rules for Bazel.
      Starlark
      Apache License 2.0
      8927517834Updated Apr 16, 2026Apr 16, 2026
    • Canonical Ledger Format for Cardano
      Haskell
      122510Updated Apr 16, 2026Apr 16, 2026
    • Shell
      64100Updated Apr 16, 2026Apr 16, 2026
    • CIPs

      Public
      Cardano Improvement Proposals (CIPs)
      Python
      Creative Commons Attribution 4.0 International
      386100Updated Apr 15, 2026Apr 15, 2026
    • Implementation of a Consensus Layer for the Ouroboros family of protocols
      Haskell
      Apache License 2.0
      0412Updated Apr 14, 2026Apr 14, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.