A Database System for Metamodeling and Method Engineering
Syntax tree editor for rapid annotation of existing text
Euler Yet another proof Engine
Syllog is a system for teaching logic, with anonymous answer logging
Teaching planner tool to help universities in developing countries