Leonardo is an integrated environment for developing and animating C programs.

It is made specifically for learning the C language, visually debugging C programs, and creating algorithm animations in a declarative style.

Leonardo includes (in a single executable file):
a text editor with syntax coloring
a compiler for the ANSI C language
a compiler for the ALPHA visualization language
a reversible virtual CPU
a basic operating system for process, I/O and memory management
an integrated logic-based visualization system
a simple graph editor

Main features:
It allows you to edit, compile and execute arbitrary C programs on the virtual CPU.
No size limits are imposed on C programs.
It's a multitasking environment.
Programs can be executed both forward and backward: it is possible to reverse the execution of a program at any time by means of a control tool window.
All available standard ANSI C library functions (including fprintf, fscanf, malloc and free) are fully reversible. The more space you have on your working secondary memory, the more program instructions you can reverse.
Programs can be animated by embedding in the C source special declarations written in a simple logic-based programming language called ALPHA. For example, if you want a window to appear on the screen you have simply to declare it by means of the "View" ALPHA predicate. In the same way you may want a rectangle to appear in your window: just declare it with "Rectangle".
Leonardo features a repository that includes dozens of animated algorithms: the menu "Programs" allows it to run programs from a repository of examples ranging from classical algorithms to games such as Tetris and Checkers and some demos showing Leonardo's graphic capabilities. If you don't have enough free space on your HD to execute a program completely, you might want to disable the reversible execution feature from the "Edit" menu at program's startup or from the project settings at compile time. In this way no temporary memory will be allocated on your disk and you will not be able to reverse execution.

IMPORTANT NOTE: Leonardo is NOT able to generate native PowerPC/68K code, so you cannot use it for creating Macintosh stand-alone applications.
Instead, Leonardo allows you to run programs on the Virtual CPU that supports fully-reversible execution and helps you find subtle programming errors (e.g., memory leaks, invalid format string passed to a printf family function, use of invalid file pointers etc.) that other environments may fail to highlight. Moreover, it supports powerful logic-based visualization. If you want to create fast Macintosh stand-alone applications you should consider using a full-featured programming environment such as Metrowerks Codewarrior, MPW or Vip-C