I remember Gato: http://gato.sourceforge.net/ It animates only algorithms on graphs, but it seems a starting point, and it works.
I vaguely remember another system, but probably not very good. Bye, bearophile -- http://mail.python.org/mailman/listinfo/python-list
