GroupsCore (julia): Interface for abstract groups
Keywords: conformance-testing|algebra|group-theory