Stars
General purpose mathematical software system, fork of SageMath supporting modularized installation with pip
Lean 4 programming language and theorem prover
Practical volume computation and sampling in high dimensions
C++ logging library. It is powerful, supports asynchronous low latency, extendable, light-weight, fast performing, thread and type safe and consists of many built-in features. It provides ability t…
Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.