XML Schema SAX based code generator for Java
Synthesizing embedded control software from formal specifications
Generating PLC programs from formal specifications
A PEG based parser generator, with advanced features
An IDE for the programming language whitespace.