Leonardo An integrated C programming environment for reversible execution and logic-based software visualization developed at the University of Rome "La Sapienza". http://www.dis.uniroma1.it/~demetres/Leonardo/ Uniroma1.it~Site InfoWhoisTrace RouteRBL Check
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. http://opsis.sourceforge.net Sourceforge.net~Site InfoWhoisTrace RouteRBL Check
LYDIAN Simulation and visualization environment for distributed algorithms that provides students with an experimental environment to test and visualize the behaviour of distributed algorithms. http://www.cs.chalmers.se/~lydian/ Chalmers.se~Site InfoWhoisTrace RouteRBL Check
Backtracking A combinatorial puzzle is presented making visible the performance of a backtracking algorithm (requires JavaScript). http://www.hbmeyer.de/backtrack/backtren.htm Hbmeyer.de~Site InfoWhoisTrace RouteRBL Check