Gomu is an interpreter program for mathematics written entirely in C++. New cool stuff can be added using modules.
For the moment, available modules are:
base (for basic mathematics)
garside (for computation on braid groups)