Tool support for the Z formal notation
error function and related functions in pure standard Fortran 2008
Highly efficient implementation of BLAS for sparse block matrices.
Parallelized FREquency DEComposer algorithm
Complex error functions, Dawson, Faddeeva, and Voigt function
A finite element solver using state-of-the-art programming techniques.
Java Decision Diagrams (BDD) libraries: JDD and JBDD