GitHub repository: Josiah-Wallis/alg-group
Primary language: C++
Description: Library for verifying finite algebraic groups