a UCI chess engine
Pioneers - The Settlers of Catan
Proof Logic : A logical framework for theorem proving
A customizable 3D platform for agent-based AI research
Speech recognition software for English & Polish languages
Text-to-Speech TTS for Basque, Spanish, Catalan, Galician and English
32 bit VIRGO Linux Kernel
the intelligent predictive text entry platform
Multiagent simulator of road traffic in Qt/C++ and OpenStreetMap.
Multi-process homeostatic software agent library
The experimental source code for the paper
Tools to train Image Operators automatically from a set of samples.
This is a suite of mathematical software solvers GUI
Advanced image processing toolbox for Scilab on Unix/Linux/Mac OS
The OSAR Linux Image for Augmented Reality and Computer Vision