Tool support for the Z formal notation
fast C++ library for GPU linear algebra & scientific computing
error function and related functions in pure standard Fortran 2008
lightweight GPU-based sparse matrix-vector multiplication (SpMV)
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