Groups
A very rudimentary implementation of finitely-presented groups (syllable representation). Relatively complete are only automorphism groups of free groups and wreath products (which are not finitely-presented, but based on the standard normal form).
Have a look into test
directory for eample use.