Tool support for the Z formal notation
Converts cobol copybooks to Xml/Java objects
TFEL/MFront introduces DSLs based on C++ to handle material knowledge
Electronic design and programming tools suite like Eagle, MpLab
Powerfull pre-processor
Go to github.com/vlm/asn1c for the latest version.
Ccide is a Decision Table preprocessor.