Tool support for the Z formal notation
Converts cobol copybooks to Xml/Java objects
A lexical analyzer generator that makes the class source code.
Another drawing editor for LaTeX with PSTricks & TikZ
CodeConics is a C# lexer/parser/syntax tree generatior
Translate java source into another language
Generate PrimeFaces Pages from Entity Classes in NetBeans
Synthesizing embedded control software from formal specifications
Develop quickly & easily Eclipse 4 RCP Application in JEE/JSE context
Create units and attacks for Wesnoth!
A LALR(1) Parser Generator for JavaScript written in JavaScript