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.

	* ASFandSDF
	* ELAN
	* MaudeSystem
	* OBJ
	* Stratego.StrategoLanguage

-----
CategorySystem, CategoryCollection | Contributions by Main.EelcoVisser