The site describes Leonardo IDE, an integrated environment for the development, reversible execution, logic-based animation and visual debugging of C programs.