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