Tool support for the Z formal notation
Local git statistics including GitHub-like contributions calendars
statistical tests & psuedo- random number generators (RNGs, PRNGs)
A Lean 4 Ecosystem Framework!
H9A counts how many times a digit appears in any range, instantly.
Open-source C/C++ math engine for advanced scientific computing
Open statistics and scientific graphing
SEQUOIA ocean data assimilation platform (a SIROCCO suite tool)
Command-line tools for simple statistics
PubMed ID: 29562348 / DOI: 10.1093/nar/gky175
CUDA library for continuous optimization and light field analysis
Generates Latin squares and counts their transversals
Calculation of Primenumbers
The incompressible Navier-Stokes equations solver in 2D domains
CORe microBiome Analysis Tools
A collection of tools used in the enumeration of solution spaces
Web-based data science analysis and visualization platform.
An implementation of Dantzig-Wolfe decomposition built upon GLPK
Command line tool for reporting details on a given matrix
Utility classes from maps to search engine to random samplers