Euler Yet another proof Engine
Innovative text document search. http://dynaq.opendfki.de for details.
An open source search engine with RESTFul API and crawlers
A java configuration file and command line parser
Synthesizing embedded control software from formal specifications
Log Management Web Application