A free cross platform command prompt
Proof Logic : A logical framework for theorem proving
Tool to parse the command line and configuration files.
A cross-platform interpreter for many point-and-click adventure games
Simulation tool for the casino game Roulette
A Logo interpreter and programming environment specialized for schools
A set of library for C++ and a programming language
Programming language for artificial intelligence