Synthesizing embedded control software from formal specifications
Generating PLC programs from formal specifications
Powerfull pre-processor
Generator's generator (JSON templates plus automatic DSL generation)
JAFFA is a Rich Web 2.0 POJO based Event-Driven SOA framework
Create units and attacks for Wesnoth!
Desarrollo Rápido de Aplicaciones con Java EE y ExtJS
Dataflow parallel programming language for clusters
a Scratch Interface for Lego NXT