Regelbasierte Sprachen und Werkzeuge

• Allgemeine Seite zu Rewriting (LORIA Nancy).
• Eine Seite zu Attribut-Grammatiken (INRIA Rocquencourt).
• Allgemeine Seite zur Graphtransformation (Universität Paderborn, etwas veraltet)

Werkzeuge für Wortgrammatiken

• ASF+SDF (Meta) (CWI Amsterdam).
• Gentle (Fraunhofer-Institut Berlin)

Termersetzungs-Sprachen

• ELAN (C. und H. Kirchner, LORIA Nancy).
• TOM ("To One Matching", Pierre-Étienne Moreau, LORIA Nancy).
• Maude (U Urbana-Champaign).
• Tatami (OBJ3) (UC san Diego)
• STRATEGO (Eelco Visser, Universiteit te Utrecht)

Funktional-logische Programmiersprachen

• Clean - an efficient purely functional language (Rinus Plasmeijer, Marco van Eekelen, KU Nijmegen)
• Curry - eine funktional-logische Programmiersprache (Universitäten Kiel-Aachen-Münster-Portland)
• Mercury - eine funktional-logische Programmiersprache (University of Melbourne)
• Mozart / Oz eine nebenläufig-objektorientiert-funktional-logische Programmiersprache (Universitäten Saarbrücken, Louvain, SICS Stockholm)
• JTransformer Framework zur Transformation von Java-Programmen (Günter Kniesel, Universität Bonn)

Graphtransformations-Sprachen

• AGG (Gabi Taentzer, TU Berlin)
• ATOM3 (Hans Vangheluwe, McGill-University, Montréal, Quebec)
• DiaGen (Mark Minas, Universität der Bundeswehr München)
• FuJaba (Albert Zündorf, GH Kassel)
• Gmorph (Shane Sendall, Université de Genève)
• GReAT (Gabor Karsai, Vanderbilt University, Nashville, Tennessee)
• GrGen (Rubino Geiß, TU Karlsruhe)
• ProGres (Andy Schürr, vormals RWTH Aachen)