Synthesizing embedded control software from formal specifications
Generating PLC programs from formal specifications
Database explorer to MySQL, Oracle, Sybase & others. Source maker JSF.
A QVT engine targeting Java
JAFFA is a Rich Web 2.0 POJO based Event-Driven SOA framework
Interactive Environment for Coffee-Script, Jade and Stylus
Schema Lookup & Entity Item Generator