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