Tool support for the Z formal notation
Converts cobol copybooks to Xml/Java objects
Java class file shrinker, optimizer, obfuscator, and preverifier
A C++ class scanner generator comparable to flex
Go to github.com/vlm/asn1c for the latest version.
Redesigner is a tool to generate and validate ASP.NET designer files