Tool support for the Z formal notation
Converts cobol copybooks to Xml/Java objects
Generating PLC programs from formal specifications
Powerfull pre-processor
Lapack/quadprog QP for VBA/.Net/Java
a Scratch Interface for Lego NXT
Ccide is a Decision Table preprocessor.