Euler Yet another proof Engine
Amine is a Multi-Layer Platform for the dev. of Intelligent Systems
illness_index A Computer Program of a Medical Textbook.
Short C++/Java/C#/Python benchmark
A Java front-end to the dnrDALMAS Prolog Module.
Cognitive architecture with a focus on self-models
A 100% Java Warren Abstract Machine implementation.
niCom Collaborating Environment