GitHub repository: le27/libsemigroups
Primary language: C++
Description: A C/C++ library for semigroups