Open-source code generator for Simulink/Stateflow
Java class file shrinker, optimizer, obfuscator, and preverifier
Vector drawing program for LaTeX using PSTricks
C++ CASE tool, full life cycle code generator
Optimized version of MVP, using annotation generics to simplify code
Template-based code generation language.
Electronic design and programming tools suite like Eagle, MpLab
Framework, process, docs and tools to make easy JEE development.
Synthesizing embedded control software from formal specifications
A layout and widget editor for Wt (C++ web applications)