GitHub repository: AlgebraicJulia/GATlab.jl
Primary language: Julia
Description: GATlab: a computer algebra system based on generalized algebraic theories (GATs)