1.mitchellh / zig-overlayNix flake for the Zig compiler.NixMIT560 total62 forks+7 starsfrom 553 · score 2.08
2.lenianiva / lean4-nixNix overlay for Lean 4, and lake2nixleanlean4nixNixAPACHE-2.0127 total22 forks+2 starsfrom 125 · score 1.10