A promising chess program
ECLiPSe Constraint Logic Programming System
fast C++ library for GPU linear algebra & scientific computing
Intellect Modeling Kit: assisting research, diagnostics, consulting
Management and simulation of Electric Vehicles activities
This is a suite of mathematical software solvers GUI
The IRC's Talking Robot
This project includes basic NLP and DSP techniques for Text-to-Speech
commandline multiclass email and text filter
Java Decision Diagrams (BDD) libraries: JDD and JBDD