IoC container for the configuration and design for experimental design
A compiler that compiles the Vyne programming language.
Personal Coding Dojo, for several technologies.
A choreography programming language for concurrent systems
Kammerjäger is a debugging tool with integrated correctness proving.
The Co-Simulation Adaptation Platform