Program-Transformation.Org: The Program Transformation Wiki
This page collects links to systems that implement TermRewriting and related paradigms. See also the general list of TransformationSystems. Feel free to add links to systems not yet mentioned.