The agda-unimath library

Algebraic proof discovery in Agda

The Agda Universal Algebra Library (html docs available at the url below)

The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of universal algebra in dependent type theory using the Agda proof assistant language.

First Order Logic Python Library

Small library of concepts in the theory of Constraint Satisfaction Problem and Universal Algebra

The Agda Universal Algebra Library (html docs available at the url below)

Repository for global spectrum algorithms

Formalizing the clone theory in type theory and Agda