The regex-centric, fast lexical analyzer generator for C++
Synthesizing embedded control software from formal specifications
Generating PLC programs from formal specifications
Database explorer to MySQL, Oracle, Sybase & others. Source maker JSF.
JAFFA is a Rich Web 2.0 POJO based Event-Driven SOA framework
Interactive Environment for Coffee-Script, Jade and Stylus