47,133 repositories indexed
A repository shows when it has any selected Tag.
No Tag matches.
Filters
1–1 of 1 · Most stars
Nix overlay for Lean 4, and lake2nix