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
Generating PLC programs from formal specifications
Go to github.com/vlm/asn1c for the latest version.
Lapack/quadprog QP for VBA/.Net/Java
Ccide is a Decision Table preprocessor.
Toolkit for Automatic Control and Dynamic Optimization