Syntax tree editor for rapid annotation of existing text
A Database System for Metamodeling and Method Engineering
Euler Yet another proof Engine
C#Prolog -- A Prolog interpreter written in managed C#
Java Internet Prolog (Moved to GitHub)
A 100% Java Warren Abstract Machine implementation.