Google's software suite for combinatorial optimization
Bayesian Modeling and Probabilistic Programming in Python
The Nelson Programming Language
Simulate chemical processes using advanced thermodynamic models
A Lean 4 Ecosystem Framework!
Open-source C/C++ math engine for advanced scientific computing
H9A counts how many times a digit appears in any range, instantly.
Open statistics and scientific graphing
An Infinitely Large Napkin
Uranie is CEA's uncertainty analysis platform, based on ROOT
SEQUOIA ocean data assimilation platform (a SIROCCO suite tool)
Lenia - Mathematical Life Forms
Calculation of Primenumbers
A collection of tools used in the enumeration of solution spaces
Web-based data science analysis and visualization platform.