C++ library for semigroups and monoids; used in GAP’s package Semigroups.
GPL-3.0
http://james-d-mitchell.github.io/libsemigroups https://github.com/james-d-mitchell/libsemigroups
libpng
libtheora