tangled
alpha
login
or
join now
pyrox.dev
/
nixpkgs
lol
0
fork
atom
overview
issues
pulls
pipelines
nixpkgs
/
pkgs
/
development
/
libraries
/
agda
/
at
25.11-pre
11 folders
1lab
treewide: format all inactive Nix files
1 year ago
agda-categories
Revert "treewide: replace `rev` with `tag`"
9 months ago
agda-prelude
treewide: remove unused rec expressions
10 months ago
agdarsec
Revert "treewide: replace `rev` with `tag`"
9 months ago
cubical
Revert "treewide: replace `rev` with `tag`"
9 months ago
cubical-mini
cubical-mini: init at nightly-20241214
1 year ago
functional-linear-algebra
Revert "treewide: replace `rev` with `tag`"
9 months ago
generic
Revert "treewide: replace `rev` with `tag`"
9 months ago
generics
Revert "treewide: replace `rev` with `tag`"
9 months ago
iowa-stdlib
Revert "treewide: replace `rev` with `tag`"
9 months ago
standard-library
Revert "treewide: replace `rev` with `tag`"
9 months ago
pyrox.dev