Reduce.jl
Symbolic parser for Julia language term rewriting using REDUCE algebra
... including Run-REDUCE, TeXmacs and GNU Emacs. REDUCE (and its complete source code) is available free of charge for most common computing systems, in some cases in more than one version for the same machine. The manual and other support documents and tutorials are also included in the distributions.