Advanced mathematical types and functions for Swift
Python library for defining and optimizing mathematical expressions
An R package for causal inference in time series
Android, UIQ 3.0, Series 60 Edition 5 open-source software
Computer Algebra System written in Common Lisp
C++ library for half precision floating point arithmetics.
A cross-platform statistical package for econometric analysis
fast C++ library for linear algebra & scientific computing
General Mission Analysis Tool
2D & 3D TeX-Aware Vector Graphics Language
For exploring cellular automata like Conway's Game of Life.
Open source finite element software for multiphysical problems
Tool support for the Z formal notation
Agena is an interpreted procedural programming language.
Arbitrary-precision CRC calculator and algorithm finder
SEQUOIA ocean data assimilation platform (a SIROCCO suite tool)
A Portable General-Purpose Computer Algebra System
MathMod is a mathematical modeling software
A powerful arbitrary-precision calculator.
System dynamics program with additional features for economics