Simulation and visualization environment for distributed algorithms that provides students with an experimental environment to test and visualize the behaviour of distributed algorithms. - Read more

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. - Read more

An integrated C programming environment for reversible execution and logic-based software visualization developed at the University of Rome "La Sapienza". - Read more