Tool support for the Z formal notation
Converts cobol copybooks to Xml/Java objects
Releases of McuOnEclipse projects
Another drawing editor for LaTeX with PSTricks & TikZ
Support variant based Java program execution, adapted to support MDE.
Reverse-engineering tool
C++ CASE tool, full life cycle code generator
HATE's an ASN.1 Text Editor.
Generating PLC programs from formal specifications
Interactive Environment for Coffee-Script, Jade and Stylus