Google's software suite for combinatorial optimization
General Mission Analysis Tool
fast C++ library for linear algebra & scientific computing
Calculation with Clifford algebras: C++ library and Python module
Numerical and Symbolic Math Tool
Computer Assisted Proofs in Dynamics
Simulated Airline Travel Solution Provider Library
Software for 3-manifold topology and normal surface theory
Linear algebra and solver library using CUDA, OpenCL, and OpenMP
Travel Market Simulator
Software for data analysis, image processing, simulations, solver.
A C++ and Python library for finance, statistics and linear algebra.
Machine Learning Python