Tool support for the Z formal notation
SEQUOIA ocean data assimilation platform (a SIROCCO suite tool)
Command-line tools for simple statistics
An implementation of Dantzig-Wolfe decomposition built upon GLPK
Command line tool for reporting details on a given matrix