The SymbolicAlgebra? tool which was the predecessor of MathematicaLanguage.
http://maxima.sourceforge.net/
CategoryTool? CategoryMath