Google's software suite for combinatorial optimization
Bayesian Modeling and Probabilistic Programming in Python
Advanced mathematical types and functions for Swift
Python Calculator on Number Theory, three-birds-one learning material
Numerical and Symbolic Math Tool
fast C++ library for linear algebra & scientific computing
A portfolio-optimizer using Markowitz(1952) mean-variance model
ntccKMC: A Kripke-structure-based model checker for ntcc