ABC
Moved to
http://www.cwi.nl/~steven/abc/