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
Linear algebra and solver library using CUDA, OpenCL, and OpenMP
Complex error functions, Dawson, Faddeeva, and Voigt function
Java Decision Diagrams (BDD) libraries: JDD and JBDD