C/C++ function instrumentation (AOP, exception/stack tracing, GC)
Compile and run Java programs without using command mode!
Synthesizing embedded control software from formal specifications
Generating PLC programs from formal specifications
Java library for automated Soap & Rest web Services Creation
Eclipse Plug-in for Automatic Refactoring of Fit Tests.
orchestrator / cluster deployment tool
Create units and attacks for Wesnoth!
Eclipse plugin for the Guice Dependency-Injection-Framework
(H)uman (R)eadable and (M)achine (E)xecutable (S)pecification