Euler Yet another proof Engine
Syntax tree editor for rapid annotation of existing text
illness_index A Computer Program of a Medical Textbook.
Syllog is a system for teaching logic, with anonymous answer logging
a Java API & Interpreter for AgentSpeak + Prolog
Teaching planner tool to help universities in developing countries