ECLiPSe Constraint Logic Programming System
Open-source code generator for Simulink/Stateflow
A canvas library for generating technical drawings
Code generation from UML to any language (Java, Objective-C, PHP...)
C++ inline state machine library
The easiest C++ way to deal with constraints !