Tools for Graph Transformation

• AGG : The Attributed Graph Grammar System: An interpreter for attributed graph transformation with integration of Java programs.
• Augur - An unfolding-based verification tool for graph transformation systems.
• GROOVE: Graphs for Object-Oriented Verification: A graph transformation tool set, intended for the simulation and analysis of graph grammars.
• Grammatika: Graph Transformation with Mathematica: An  implementation of double-pushout graph transformation based on relation algebra.
• HOPS: The Higher Object Programming System: An interactive program development and program transformation system based on acyclic term graphs.
• PROGRES: PROgrammed Graph REwrite Systems: A graph grammar programming language and environment.
• TREEBAG: A system which generates, transforms, and displays objects of various types by means of tree grammars and tree transducers.

Graph Transformation-enabled Software

• Concurrent Clean: A state-of-the-art, pure and lazy functional programming language based on term graph rewriting.
• DiaGen: A generator for diagram editors from graph grammar specifications of visual languages.
• Fujaba: From UML to Java and Back Again: A CASE tool for round trip engineering with UML, SDM, Java and design patterns.
• Klotho: Biochemical compounds declarative database - uses layered graph grammars as its modeling language.
• Optimix: The Optimizer Generator: Lets the user specify graph transformations in a declarative language, based on relational graph rewriting. From these Optimix generates Java or C code that navigates/modifies supplied Java objects/C structs.
• Tiger: An environment for transformation-based generation of modeling environments based on Eclipse EMF and GEF technology
  
• VARLET: An environment for information system reengineering  based on triple graph grammars and  PROGRES.