Tool support for the Z formal notation
A cross-platform statistical package for econometric analysis
fast C++ library for GPU linear algebra & scientific computing
General Mission Analysis Tool
Agena is an interpreted procedural programming language.
Arbitrary-precision CRC calculator and algorithm finder
Numerical and Symbolic Math Tool
Bifurcation analysis for delay-differential equations
Toolboxes for parameter continuation and bifurcation analysis.
Math library for Free Pascal and Lazarus.
Vectorized libm
Python code able to convert / compress image to PI (3.14, π) Indexes
Fast integrator of stochastic partial differential equations
SigPack - A signal processing library using Armadillo
This zip jar contains the current coverings of periodic paths.
C++ Statistical ToolKit
An Ada implementation of the Hungarian Algorithm to minimize cost
Mathematical Functions in an NPM library made with JS and C++
NARS2000: An Experimental APL Interpreter
Constructing and optimizing general mathematical and physical models