JFLAP, JAWAA, jeLLRap -- Visual and Interactive Tools Tools (Java programs) for visualizing and interacting with theoretical computer science concepts. JAWAA is a tool for creating algorithm animations on the web.
Leonardo An integrated C programming environment for reversible execution and logic-based software visualization developed at the University of Rome "La Sapienza".
Opsis A Java applet designed to teach binary search tree algorithms. It is unique in the way it combines programming, proof, and animation to enhance the learning experience.
LYDIAN Simulation and visualization environment for distributed algorithms that provides students with an experimental environment to test and visualize the behaviour of distributed algorithms.
Backtracking A combinatorial puzzle is presented making visible the performance of a backtracking algorithm (requires JavaScript).
CATAI A distributed algorithm animation system. Algorithms are coded in C++ and the resulting animations displayed using lightweighted java application. Multi user and interactive animations are supported through the use of a distributed CORBA based architecture.
Java Interactive Software Visualization Environment JIVE is an object-oriented general-purpose animation system for the visualization of Java coded algorithms. Visualizations can be embedded in a Java browser or attended in a Virtual Classroom by several users at once.