GitHub repository: jwodder/groups
Primary language: C++
Description: Group theory code