Simulation and visualization environment for distributed algorithms that provides students with an experimental environment to test and visualize the behaviour of distributed algorithms.
An integrated C programming environment for reversible execution and logic-based software visualization developed at the University of Rome "La Sapienza".
Tools (Java programs) for visualizing and interacting with theoretical computer science concepts. JAWAA is a tool for creating algorithm animations on the web.
