A Database System for Metamodeling and Method Engineering
Deductive Database with Datalog, SQL, RA, TRC, DRC
Syntax tree editor for rapid annotation of existing text
Euler Yet another proof Engine
Amine is a Multi-Layer Platform for the dev. of Intelligent Systems
Java Internet Prolog (Moved to GitHub)
A 100% Java Warren Abstract Machine implementation.
Teaching planner tool to help universities in developing countries