GitHub repository: williamdemeo/agda-algebras
Primary language: Agda
Description: The Agda Universal Algebra Library (documentation for previous version available at the url below)