Nix flake for the Zig compiler.
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Nix overlay for Lean 4, and lake2nix
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
47,133 repositories indexed
1–3 of 3 · Most stars
Nix flake for the Zig compiler.
Nix overlay for Lean 4, and lake2nix
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]