Mathematical Library
Showing 6 of 6 projects
A Swift library providing probability distributions and statistical functions for probabilistic computing.
A Coq library for constructive real analysis and algebra, including a model of real numbers and exact real computation.
A Swift library providing missing protocols for generic arithmetic, statistical, and logical operations.
A Rocq/Coq library providing formal definitions and mechanically verified proofs for rewriting theory, λ-calculus, and termination analysis.
A library for performing mathematical operations on number arrays stored in binaries, with support for handling missing values.
Scala Native bindings for the GNU Scientific Library (GSL), enabling scientific computing in Scala.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.