TerminusDB is a distributed database with a collaboration model
Euler Yet another proof Engine
Syntax tree editor for rapid annotation of existing text
Syllog is a system for teaching logic, with anonymous answer logging
A Java front-end to the dnrDALMAS Prolog Module.
Teaching planner tool to help universities in developing countries