tjh.dev / nixpkgs
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
fork atom
nixpkgs / pkgs / development / libraries / agda /
at 21.05 7 folders
agda-categories
agda-prelude
cubical
functional-linear-algebra
generic
iowa-stdlib
standard-library