Open source repositories tagged with #agda, ranked by health score.
The Agda Universal Algebra Library (html docs available at the url below)
