Leonardo
An integrated environment for the development, reversible execution, logic-based animation and visual debugging of C programs. Snapshots, animations, online manual, download and related links too.