1.mitchellh / zig-overlayNix flake for the Zig compiler.NixMIT560 total62 forks+27 starsfrom 533 · score 3.33
2.nix-community / dream2nixSimplified nix packaging for various programming language ecosystems [maintainer=@DavHau]nixnixoslang2nixdream-to-nix2nixpackage-management+4 moreNixMIT1.3K total146 forks+9 starsfrom 1,259 · score 2.30
3.lenianiva / lean4-nixNix overlay for Lean 4, and lake2nixleanlean4nixNixAPACHE-2.0127 total22 forks+8 starsfrom 119 · score 2.20
4.rocq-community / coq-nix-toolboxNix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]coqnixNixMIT57 total24 forks+2 starsfrom 55 · score 1.10