ECLiPSe Constraint Logic Programming System
fast C++ library for GPU linear algebra & scientific computing
Intellect Modeling Kit: assisting research, diagnostics, consulting
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