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.
Tools (Java programs) for visualizing and interacting with theoretical computer science concepts. JAWAA is a tool for creating algorithm animations on the web.
An integrated C programming environment for reversible execution and logic-based software visualization developed at the University of Rome "La Sapienza".
A set of benchmark results for various lossless compression methods. Includes test files and compression test results for many research compression methods.