ECLiPSe Constraint Logic Programming System
Robocode is a programming tank game for Java
Natural Language Processing (NLP) for the Masses
Java Chess Engine
The classic intelligent role playing game
Software for assigning supertags.
Constraint Logic can solve word logic puzzles.