DiaMeta Animated

DiaMeta Animated

On this website we provide screencasts that show editing environments for animated visual languages.

Alligator Eggs

Alligator Eggs is a visual language for the untyped lambda-calculus, invented by Bret Victor. The editor (using Java 6) can be downloaded here. Its concept has been described in:

Torsten Strobl and Mark Minas. Implementing an Animated Lambda-Calculus. Workshop on Visual Languages and Logic, satellite of 2009 IEEE Symposium on Visual Languages and Human-Centric Computing, Corvallis, OR, USA, September 20, 2009, CEUR Workshop Proceedings vol. 510, 2009. [pdf]


Avalanche is a board game for two and more players. The editor allows for building arbitrary game configurations and simulating the movement of marbles. The (using Java 6) can be downloaded here. Its concept has been described in:

T. Strobl and M. Minas. Specifying and generating editing environments for interactive animated visual models. Preproceedings of the 9th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010), March 20-21 2010, Paphos, Cyprus. [pdf]


Traffic is a traffic simulation. The editor allows for creating a road network consisting of roads, intersections (with traffic lights), and entry/exit points that act as sources and sinks for cars. Created road networks can be simulated with cars running on the streets, waiting at traffic lights, etc.  Its concept is described in the submitted paper

T. Strobl, M. Minas, A. Pleuß, and A. Vitzthum. From the Behavior Model of an Animated Visual Language to its Editing Environment Based on Graph Transformation. Submitted to GraBaTs'10.