Powerful generator for Java applications (JPA, Java EE...)
High level API to generate and transform Java byte code
Synthesizing embedded control software from formal specifications
Generating PLC programs from formal specifications
Interactive Environment for Coffee-Script, Jade and Stylus
Dataflow parallel programming language for clusters