HOPS
Program-Transformation.Org: The Program Transformation Wiki
Homepage: http://www.cas.mcmaster.ca/~kahl/HOPS/
HOPS (the Higher Order Programming System) is a graphically interactive program development and program transformation system based on acyclic term graphs.