Repositories list

• nix-security-tracker

  Public
  Web service for managing information on vulnerabilities in software distributed through Nixpkgs

  Python

  •

  MIT License

  •3232 forks•11 star•00 issues•00 pull requests•Updated Apr 28, 2026Apr 28, 2026

• hackage-server

  Public
  Hackage-Server: A Haskell Package Repository

  Haskell

  •

  Other

  •220220 forks•00 stars•00 issues•00 pull requests•Updated Apr 28, 2026Apr 28, 2026

• ormolu

  Public
  A formatter for Haskell source code

  haskellformatter

  haskellformatter

  Haskell

  •

  Other

  •9090 forks•1.1k1.1k stars•7575 issues•22 pull requests•Updated Apr 28, 2026Apr 28, 2026

• rust-alpine-mimalloc

  Public
  Shell

  •66 forks•4141 stars•00 issues•00 pull requests•Updated Apr 28, 2026Apr 28, 2026

• rules_sh

  Public
  Shell rules for Bazel

  shellbazel

  shellbazel

  Starlark

  •

  Apache License 2.0

  •55 forks•4747 stars•1111 issues•22 pull requests•Updated Apr 28, 2026Apr 28, 2026

• OllamaHoles

  Public
  LLM-powered typed-holes

  Haskell

  •

  MIT License

  •22 forks•00 stars•88 issues•00 pull requests•Updated Apr 28, 2026Apr 28, 2026

• Diff

  Public
  Clone of Sterling Clover's Diff repo on hub.darcs.net

  Haskell

  •

  Other

  •55 forks•00 stars•00 issues•00 pull requests•Updated Apr 27, 2026Apr 27, 2026

• rules_nixpkgs

  Public
  Rules for importing Nixpkgs packages into Bazel.

  nixbazelbazel-rules+ 1

  nixbazelbazel-rulesnixpkgs

  Starlark

  •

  Apache License 2.0

  •9696 forks•379379 stars•6565 issues•3131 pull requests•Updated Apr 27, 2026Apr 27, 2026

• nixpkgs

  Public
  Nix Packages collection

  Nix

  •

  MIT License

  •19k19k forks•22 stars•00 issues•11 pull request•Updated Apr 27, 2026Apr 27, 2026

• cardano-cls

  Public
  Canonical Ledger Format for Cardano

  Haskell

  •11 fork•22 stars•1818 issues•77 pull requests•Updated Apr 27, 2026Apr 27, 2026

• CIPs

  Public
  Cardano Improvement Proposals (CIPs)

  Python

  •

  Creative Commons Attribution 4.0 International

  •387387 forks•11 star•00 issues•00 pull requests•Updated Apr 27, 2026Apr 27, 2026

• cardano-peras

  Public
  Architecture for Ouroboros Peras on the Cardano chain

  TeX

  •00 forks•55 stars•6868 issues•33 pull requests•Updated Apr 27, 2026Apr 27, 2026

• cardano-ledger

  Public
  The ledger implementation and specifications of the Cardano blockchain.

  Haskell

  •

  Apache License 2.0

  •176176 forks•11 star•00 issues•22 pull requests•Updated Apr 27, 2026Apr 27, 2026

• monad-bayes

  Public
  A library for probabilistic programming in Haskell.

  Jupyter Notebook

  •

  MIT License

  •6868 forks•442442 stars•3737 issues•88 pull requests•Updated Apr 26, 2026Apr 26, 2026

• jupyenv

  Public
  Declarative and reproducible Jupyter environments - powered by Nix

  nixjupyterjupyterlab+ 2

  nixjupyterjupyterlabreproducibilityjupyter-notebooks

  Nix

  •

  MIT License

  •153153 forks•741741 stars•3939 issues•1717 pull requests•Updated Apr 26, 2026Apr 26, 2026

• copilot-sample-task

  Public
  Python task for evaluating GitHub Copilot

  Python

  •

  MIT License

  •00 forks•11 star•00 issues•44 pull requests•Updated Apr 26, 2026Apr 26, 2026

• ghc-persistent-worker

  Public
  persistent worker prototype

  Haskell

  •44 forks•00 stars•00 issues•00 pull requests•Updated Apr 24, 2026Apr 24, 2026

• linear-constraints

  Public
  TeX

  •00 forks•88 stars•1111 issues•00 pull requests•Updated Apr 24, 2026Apr 24, 2026

• snowydeer

  Public
  Build Nix packages inside buck2

  Starlark

  •22 forks•00 stars•00 issues•00 pull requests•Updated Apr 23, 2026Apr 23, 2026

• ifl2025-liquidhaskell

  Public
  Refinement-Types Driven Development: A study @ IFL 2025

  TeX

  •11 fork•11 star•00 issues•00 pull requests•Updated Apr 23, 2026Apr 23, 2026

• nixtract

  Public
  A CLI tool to extract the graph of derivations from a Nix flake.

  Rust

  •77 forks•107107 stars•88 issues•22 pull requests•Updated Apr 23, 2026Apr 23, 2026

• ouroboros-consensus

  Public
  Implementation of a Consensus Layer for the Ouroboros family of protocols

  Haskell

  •

  Apache License 2.0

  •4141 forks•11 star•00 issues•1313 pull requests•Updated Apr 22, 2026Apr 22, 2026

• gazelle_haskell_modules

  Public
  A gazelle extension to generate haskell_module rules

  Haskell

  •

  Apache License 2.0

  •33 forks•77 stars•66 issues•33 pull requests•Updated Apr 22, 2026Apr 22, 2026

• gazelle_cabal

  Public
  A gazelle extension to produce Haskell rules from cabal files

  Starlark

  •

  Apache License 2.0

  •77 forks•1414 stars•1414 issues•88 pull requests•Updated Apr 22, 2026Apr 22, 2026

• genesis-sync-accelerator

  Public
  Haskell

  •

  Apache License 2.0

  •11 fork•11 star•66 issues•11 pull request•Updated Apr 22, 2026Apr 22, 2026

• run-nix-shell

  Public
  GitHub action for executing scripts via nix-shell.

  Shell

  •

  Apache License 2.0

  •11 fork•88 stars•33 issues•11 pull request•Updated Apr 22, 2026Apr 22, 2026

• buck2-haskell

  Public
  The buck2 haskell rules.

  Starlark

  •33 forks•00 stars•00 issues•00 pull requests•Updated Apr 21, 2026Apr 21, 2026

• pytest-e2e-automation

  Public
  Python

  •

  MIT License

  •00 forks•22 stars•00 issues•77 pull requests•Updated Apr 21, 2026Apr 21, 2026

• HaskellR

  Public
  The full power of R in Haskell.

  haskellrffi+ 1

  haskellrffiinteroperability

  Haskell

  •

  Other

  •4242 forks•587587 stars•2020 issues•00 pull requests•Updated Apr 19, 2026Apr 19, 2026

• rules_haskell

  Public
  Haskell rules for Bazel.

  haskellbazelbazel-rules+ 1

  haskellbazelbazel-rulesbuild-system

  Starlark

  •

  Apache License 2.0

  •8989 forks•276276 stars•178178 issues•3434 pull requests•Updated Apr 16, 2026Apr 16, 2026