The regex-centric, fast lexical analyzer generator for C++
Optimized version of MVP, using annotation generics to simplify code
Generator for visitor code providing no Visitor Pattern in Java
Synthesizing embedded control software from formal specifications
Generating PLC programs from formal specifications
Another Application Generator