TerminusDB is a distributed database with a collaboration model
ADP is a script language designed for Web database prgramming.
Euler Yet another proof Engine
Syllog is a system for teaching logic, with anonymous answer logging
Cognitive architecture with a focus on self-models