GitHub repository: ualib/agda-algebras
Primary language: Agda
Description: The Agda Universal Algebra Library (html docs available at the url below)