[Agda] Status of Agda libraries

[Mateusz Kowalczyk]

Hi,

I've recently been trying to package Agda libraries in nixpkgs[1], used
by the nix package manager (which you should totally be using!). Earlier
today I went through [2] seeing what I can get.

If you know of an Agda library which is not listed at [2] and not
already at [1], I'd love to hear about it. It does have to be a ‘proper’
library however, in a repository somewhere we can pull from or a source
tarball – LICENSE file or similar is necessary. Some of the links are
single-module things with no apparent ownership or people behind them so
they are not usable.

The second part is about the status of the wiki page at [2]. Many links
no longer work: [3][4][5][6][7]. Many are just too old and in need of
love such as [7]. A large number of packages on the official Agda GitHub
organisation[8] doesn't work with 2.4.2. I have filed issues against a
couple but not all.

Are there any other places where I can find libraries to package and
use, preferably which are either fairly up to date or have
easily-reachable maintainers/creators?

>From what I can tell from scouring GitHub and various wikipages, my
estimate at the number of Agda libraries (either compiling or not and in
various state of completion) in existence is somewhere between 50 and
150 with the usable number (with some tweaks) probably about ~20-30,
many of which are small.

[1]:
https://github.com/NixOS/nixpkgs/tree/master/pkgs/development/libraries/agda
[2]: http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Libraries
[3]: http://www.cs.chalmers.se/~peterd/studentpapers/Norberg.pdf
[4]: http://web.student.chalmers.se/~stevan/types/
[5]: http://web.student.chalmers.se/~stevan/userexp/
[6]: http://web.student.chalmers.se/~stevan/csallp/html/README.html
[7]: http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.AOPA
[8]: https://github.com/agda

-- 
Mateusz K.