Modeling language for Mathematical Optimization
Computational algebraic number theory
Bayesian Modeling and Probabilistic Programming in Python
Multi-language suite for high-performance solvers of equations
High performance ordinary differential equation (ODE)
Composable transformations of Python+NumPy programs
A cross-platform statistical package for econometric analysis
A portable, multi-platform, command-line driven graphing utility
fast C++ library for linear algebra & scientific computing
Computer Algebra System written in Common Lisp
Simulate chemical processes using advanced thermodynamic models
Open source finite element software for multiphysical problems
General Mission Analysis Tool
statistical tests & psuedo- random number generators (RNGs, PRNGs)
2D & 3D TeX-Aware Vector Graphics Language
rw calculates rank-width and rank-decompositions.
COM-wrapper of Cloo to execute OpenCL code from Excel.
A Portable General-Purpose Computer Algebra System
Agena is an interpreted procedural programming language.
Tool support for the Z formal notation