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