A Database System for Metamodeling and Method Engineering
Deductive Database with Datalog, SQL, RA, TRC, DRC
Euler Yet another proof Engine
Syntax tree editor for rapid annotation of existing text
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