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