tjh.dev / nixpkgs
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
fork atom
nixpkgs / pkgs / development / libraries / agda /
at gcc-offload 11 folders
1lab
agda-categories
agda-prelude
agdarsec
cubical
cubical-mini
functional-linear-algebra
generic
generics
iowa-stdlib
standard-library