GitHub repository: kalmarek/Groups.jl
Primary language: Julia
Description: An implementation of finitely-presented groups