Tool support for the Z formal notation
The MATLAB toolbox for MEG, EEG and iEEG analysis
This zip jar contains the current coverings of periodic paths.
Scientific computing, machine learning and computer vision for .NET
error function and related functions in pure standard Fortran 2008
Complex error functions, Dawson, Faddeeva, and Voigt function
A pseudo-graphical calculator for FreeDOS (or any other DOS)
Discrete Hidden Markov Models based on OpenCV
Java Decision Diagrams (BDD) libraries: JDD and JBDD