Tool support for the Z formal notation
Converts cobol copybooks to Xml/Java objects
Generating PLC programs from formal specifications
Go to github.com/vlm/asn1c for the latest version.
Lapack/quadprog QP for VBA/.Net/Java
a Scratch Interface for Lego NXT
Ccide is a Decision Table preprocessor.