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