Open-source mathematics software
152 open-source libraries, tools and applications tagged mathematics, ranked by how closely mathematics is their primary purpose, then by adoption and maintenance health. Each entry links to a page with sources, use cases and when to choose or avoid it.
152 products, primary matches first, then adoption-weighted; health v2 shown.
| Product | Health v2 | Stars | Maturity |
|---|---|---|---|
| 3b1b/manim Manim (ManimGL) is a Python animation engine for creating precise programmatic animations, originally built by the author of 3Blue1Brown fo… | 72 | 94641 | active |
| Manim Manim Community Edition is a Python framework and animation engine for programmatically creating precise mathematical animations and explan… | 95 | 41722 | active |
| NetworkX NetworkX is a Python library for creating, manipulating, and studying graphs and complex networks. It provides algorithms for shortest path… | 86 | 17302 | stable |
| SciPy SciPy is an open-source Python library providing fundamental algorithms for scientific computing, including optimization, integration, inte… | 93 | 15123 | stable |
| josdejong/mathjs Math.js is an extensive math library for JavaScript and Node.js that provides a flexible expression parser with symbolic computation, hundr… | 75 | 15086 | stable |
| SymPy SymPy is a computer algebra system (CAS) written in pure Python for symbolic mathematics. It provides capabilities for algebra, calculus, e… | 78 | 14992 | stable |
| google/or-tools Google's open-source Operations Research suite for combinatorial optimization, written in C++ with wrappers for Python, C#, and Java. It in… | 76 | 14199 | stable |
| Z3Prover/z3 Z3 is a high-performance SMT (Satisfiability Modulo Theories) theorem prover from Microsoft Research, written in C++. It solves logical con… | 95 | 12786 | stable |
| MathJax MathJax is an open-source JavaScript display engine that renders LaTeX, MathML, and AsciiMath notation as high-quality typeset mathematics … | 82 | 10919 | stable |
| Lean 4 theorem prover Lean 4 is an open-source dependently typed functional programming language and interactive theorem prover used for formalizing mathematics … | 100 | 9610 | active |
| Gonum Gonum is a suite of numerical and scientific computing libraries for Go, covering matrices and linear algebra, statistics and probability, … | 73 | 8441 | active |
| penrose/penrose Penrose is a platform and TypeScript library for creating mathematical and technical diagrams declaratively by writing plain-text notation … | 82 | 7982 | active |
| QuantLib QuantLib is a free, open-source C++ library providing a comprehensive framework for quantitative finance, including instruments pricing, mo… | 91 | 7681 | stable |
| google/latexify_py A Python library that compiles Python source code or AST fragments into corresponding LaTeX math expressions. It includes IPython integrati… | 10 | 7613 | active |
| MikeMcl/decimal.js decimal.js is an arbitrary-precision Decimal type for JavaScript, supporting integers and floats with configurable significant-digit precis… | 74 | 7258 | stable |
| rtqichen/torchdiffeq torchdiffeq is a PyTorch library of differentiable ordinary differential equation (ODE) solvers, best known as the canonical implementation… | 35 | 6482 | stable |
| cvxpy/cvxpy CVXPY is a Python-embedded modeling language for expressing and solving convex optimization problems in natural mathematical syntax. It can… | 98 | 6361 | stable |
| PyPortfolio/PyPortfolioOpt PyPortfolioOpt is a Python library for financial portfolio optimization, implementing classical mean-variance optimization, Black-Litterman… | 69 | 6051 | stable |
| Stdlib stdlib is a standard library for JavaScript and TypeScript with an emphasis on numerical and scientific computing, providing math, statisti… | 93 | 6000 | active |
| Rocq Prover The Rocq Prover (formerly Coq) is an interactive theorem prover and proof assistant based on the Calculus of Inductive Constructions, provi… | 88 | 5591 | stable |
| google-deepmind/alphageometry Google DeepMind's implementation of AlphaGeometry and DDAR, AI systems that solve Olympiad-level geometry theorem proving problems. It comb… | 52 | 4899 | active |
| ceres-solver/ceres-solver Ceres Solver is an open-source C++ library for modeling and solving large-scale non-linear optimization problems, including bounded non-lin… | 77 | 4581 | stable |
| Mathlib Mathlib is the community-maintained mathematics library for the Lean 4 theorem prover, containing formalized mathematical theories, tactics… | 100 | 4331 | active |
| mathnet/mathnet-numerics Math.NET Numerics is an open-source numerical library for .NET and Mono, providing methods and algorithms for numerical computation in scie… | 33 | 3772 | stable |
| HigherOrderCO/Kind Kind is a minimal proof language and proof checker based on dependent type theory and lambda calculus, rewritten from JavaScript to Haskell… | 23 | 3760 | active |
| varkor/quiver Quiver is a web-based graphical editor for creating commutative and pasting diagrams used in category theory and mathematics. It renders hi… | 76 | 3627 | active |
| simple-statistics/simple-statistics A dependency-free JavaScript library implementing descriptive, regression, and inference statistics for Node.js and browsers. It is written… | 98 | 3520 | stable |
| stevenpetryk/mafs Mafs is a set of opinionated React components for building interactive, animated math visualizations with declarative code. It is distribut… | 26 | 3437 | active |
| domokane/FinancePy FinancePy is a Python library for pricing and risk-managing financial derivatives across fixed-income, equity, FX, and credit asset classes… | 96 | 3174 | active |
| SciML/DifferentialEquations.jl A Julia suite of high-performance numerical solvers for differential equations, covering ODEs, SDEs, DDEs, DAEs, RODEs, jumps, and (S)PDEs,… | 90 | 3162 | active |
| anyoptimization/pymoo pymoo is an open-source Python framework for single-, multi-, and many-objective optimization, offering state-of-the-art algorithms like NS… | 75 | 2970 | stable |
| Agda Agda is a dependently typed functional programming language that doubles as an interactive theorem prover based on intuitionistic type theo… | 86 | 2931 | active |
| HarleyCoops/Math-To-Manim-lfs-archive A Python project that turns math and physics questions into reasoned visual explanations rendered as Manim animations and study notes. It u… | 80 | 2789 | active |
| FreyaHolmer/Mathfs Mathfs is an expanded math library for Unity written in C#, providing functionality beyond Unity's built-in Mathf. It covers 2D intersectio… | 77 | 2755 | active |
| sharkdp/numbat Numbat is a statically typed programming language for scientific computations with first-class support for physical dimensions and units, i… | 93 | 2702 | active |
| Qalculate! Qalculate! is a multi-purpose cross-platform desktop calculator library (libqalculate) with a CLI program (qalc) and GTK/Qt frontends. It c… | 89 | 2676 | active |
| SageMath SageMath is a free, open-source mathematics software system built on Python that integrates many existing libraries (NumPy, SciPy, SymPy, M… | 89 | 2567 | stable |
| Pyomo/pyomo Pyomo is a Python-based open-source algebraic modeling language for formulating, solving, and analyzing structured optimization problems. I… | 85 | 2537 | stable |
| coin-or/pulp PuLP is a Python library for modeling linear and mixed integer programming (LP/MILP) problems. It lets users define optimization models wit… | 93 | 2488 | active |
| jump-dev/JuMP.jl JuMP is a domain-specific modeling language for mathematical optimization embedded in Julia. It lets users formulate linear, mixed-integer,… | 95 | 2484 | stable |
| markrogoyski/math-php MathPHP is a pure PHP math library with no external dependencies covering statistics, probability distributions, linear algebra, numerical … | 56 | 2410 | active |
| QuantEcon/QuantEcon.py QuantEcon.py is an open-source Python library for quantitative economics, providing routines for dynamic programming, Markov chain analysis… | 98 | 2405 | active |
| geogebra/geogebra GeoGebra is a suite of interactive mathematics applications including graphing calculators, geometry tools, a 3D calculator, a scientific c… | 76 | 2349 | active |
| nschloe/meshio meshio is a Python library for reading and writing many unstructured mesh file formats (VTK, Gmsh, Exodus, CGNS, MED, Nastran, and more), s… | 23 | 2329 | stable |
| casadi/casadi CasADi is an open-source symbolic framework for gradient-based numerical optimization, implementing forward and reverse mode automatic diff… | 93 | 2307 | stable |
| stevengj/nlopt NLopt is a C library providing a unified interface to many free/open-source algorithms for nonlinear local and global optimization, with or… | 85 | 2283 | stable |
| OSQP OSQP is a C library for solving convex quadratic programs using an ADMM-based operator splitting method, with interfaces to Python, Julia, … | 47 | 2201 | stable |
| PyPSA/PyPSA PyPSA is an open-source Python framework for optimising and simulating power and energy systems, covering conventional generators with unit… | 95 | 2162 | stable |
| Paidax01/math-curve-loaders A lightweight, dependency-free gallery of loading animations based on mathematical curves like rose curves, Lissajous curves, and hypotroch… | 45 | 2047 | active |
| igraph igraph is a C library for complex network analysis and graph theory, emphasizing efficiency, portability, and ease of use. It offers bindin… | 76 | 2012 | stable |
| Epsilon Epsilon is a high-performance operating system for the NumWorks graphing calculator, written in C++, with eleven apps covering the high sch… | 61 | 1957 | active |
| PaddiM8/kalker Kalker is a scientific calculator CLI and web app written in Rust with math-like syntax, supporting user-defined variables and functions, c… | 81 | 1917 | active |
| LAPACK LAPACK is a reference library of Fortran subroutines for solving common numerical linear algebra problems such as linear equations, eigenva… | 68 | 1912 | stable |
| cpmech/gosl Gosl is a Go scientific library providing linear algebra, eigenvalue solvers, FFTs, random numbers, probability distributions, optimization… | 98 | 1884 | active |
| ERGO-Code/HiGHS HiGHS is a high-performance open-source solver for large-scale sparse linear optimization problems, supporting linear programming (LP), con… | 90 | 1878 | active |
| apple/swift-numerics Swift Numerics is an Apple-maintained Swift package providing advanced mathematical types and functions such as complex numbers for numeric… | 69 | 1878 | active |
| artivis/manif manif is a header-only C++11 library for Lie theory with Python 3 wrappers, providing common Lie groups (SO(2), SE(2), SO(3), SE(3), SE_2(3… | 62 | 1821 | active |
| avhz/RustQuant RustQuant is a Rust library for quantitative finance, offering modules for option pricing, stochastic processes, autodiff, statistics, and … | 74 | 1819 | active |
| coin-or/Ipopt Ipopt (Interior Point OPTimizer) is an open-source C++ software package for large-scale nonlinear optimization of continuous problems with … | 86 | 1790 | stable |
| typelevel/spire Spire is a numeric library for Scala providing powerful new number types (like Rational, Complex, and more) and generic numeric abstraction… | 62 | 1772 | active |
| SciML/ModelingToolkit.jl ModelingToolkit.jl is a Julia-based acausal, equation-based modeling framework and computer algebra system for symbolic-numeric computation… | 95 | 1694 | active |
| enkimute/ganja.js ganja.js is a JavaScript Geometric Algebra code generator that creates Clifford algebras of any signature with operator overloading and alg… | 23 | 1608 | stable |
| SuiteSparse SuiteSparse is a collection of sparse matrix algorithm libraries written in C/C++, including factorization packages (UMFPACK, CHOLMOD, SPQR… | 96 | 1561 | stable |
| JuliaSymbolics/Symbolics.jl Symbolics.jl is a fast, modern Computer Algebra System (CAS) written in Julia for high-performance symbolic mathematics. It supports symbol… | 95 | 1538 | active |
| geomstats/geomstats Geomstats is an open-source Python package for computations, statistics, and machine learning on manifolds with geometric structures. It pr… | 67 | 1523 | active |
| MarkBaker/PHPMatrix A PHP library providing a Matrix class with common linear algebra operations such as addition, multiplication, inverse, determinant, transp… | 23 | 1518 | stable |
| robpike/ivy Ivy is an interpreter for an APL-like array language that works as an interactive calculator. It is written in Go and supports bignum arith… | 77 | 1486 | active |
| jsxgraph/jsxgraph JSXGraph is a standalone JavaScript library for interactive geometry, function plotting, charting, and data visualization in the browser, r… | 99 | 1477 | stable |
| Jounce/Surge Surge is a Swift library that wraps Apple's Accelerate framework to expose high-performance SIMD-accelerated functions for matrix math, dig… | 23 | 5325 | maintenance |
| SymEngine SymEngine is a standalone fast C++ symbolic manipulation (computer algebra) library. It offers thin wrappers for other languages such as Py… | 83 | 1416 | active |
| HoTT/Coq-HoTT A Coq library for Homotopy Type Theory, interpreting Martin-Löf's intensional type theory into abstract homotopy theory. It provides formal… | 82 | 1405 | active |
| davideberly/GeometricTools The Geometric Tools Engine (GTE) is a C++14 collection of source code for computing in mathematics, geometry, graphics, image analysis, and… | 77 | 1386 | active |
| cvc5/cvc5 cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems, determining the satisfiability of first-… | 95 | 1374 | active |
| CMA-ES/pycma pycma is a Python implementation of the CMA-ES (Covariance Matrix Adaptation Evolution Strategy) derivative-free optimization algorithm, al… | 92 | 1361 | stable |
| fortls - Fortran Language Server A community-driven de facto standard library for Fortran, providing utilities, algorithms, and mathematical routines missing from the ISO F… | 86 | 1354 | active |
| silentmatt/expr-eval expr-eval is a JavaScript library that parses and evaluates mathematical expressions, designed as a safer, math-oriented alternative to Jav… | 32 | 1353 | stable |
| owlbarn/owl Owl is an OCaml library for scientific and engineering computing, providing n-dimensional arrays, linear algebra, statistics, optimization,… | 62 | 1351 | active |
| lean-dojo/LeanCopilot Lean Copilot integrates large language models natively into the Lean 4 theorem prover for proof automation. It provides tactic suggestion, … | 91 | 1335 | active |
| anvaka/fieldplay Field Play is a browser-based WebGL application for exploring and visualizing vector fields by animating thousands of GPU-driven particles.… | 75 | 1328 | active |
| wy51ai/edulab A collection of Claude Code skills (installable as a plugin marketplace) that solve academic math problems and turn them into self-containe… | 58 | 1319 | active |
| deepseek-ai/DeepSeek-Prover-V2 DeepSeek-Prover-V2 is an open-source large language model for formal theorem proving in Lean 4, trained via reinforcement learning with sub… | 31 | 1311 | active |
| itorr/homo A novelty JavaScript library that decomposes any number into an arithmetic formula built entirely from the number 114514. It ships as a sma… | 32 | 1298 | stable |
| sagemathinc/cocalc CoCalc is a web-based collaborative computation platform offering Jupyter Notebooks, Sage Worksheets, a LaTeX editor, Linux terminals, and … | 10 | 1288 | active |
| argmin-rs/argmin argmin is a numerical optimization library written entirely in pure Rust, offering a wide range of optimization algorithms behind a consist… | 54 | 1277 | active |
| thieu1995/mealpy Mealpy is a Python library providing a large collection (233+) of state-of-the-art metaheuristic optimization algorithms, including nature-… | 73 | 1276 | active |
| math-inc/OpenGauss Open Gauss is a project-scoped workflow orchestrator that gives the `gauss` CLI a multi-agent frontend for Lean 4 theorem proving workflows… | 45 | 1261 | active |
| form-dev/form FORM is a symbolic manipulation system written in C that reads symbolic expressions from files and performs algebraic transformations, outp… | 89 | 1244 | active |
| python-adaptive/adaptive Adaptive is an open-source Python library for parallel active learning of mathematical functions. It intelligently selects the most informa… | 87 | 1229 | active |
| num A meta-crate for Rust that re-exports a collection of numeric types and traits, including big integers, rationals, complex numbers, and gen… | 70 | 1226 | stable |
| FEniCSx DOLFINx is the next-generation computational environment of the FEniCS Project, implemented in C++ with Python bindings, for solving partia… | 93 | 1222 | active |
| mpmath/mpmath mpmath is a pure-Python library for arbitrary-precision real and complex floating-point arithmetic with no required dependencies beyond Pyt… | 88 | 1222 | stable |
| Mathics3/mathics-core Mathics3 Core is the kernel of Mathics3, a free open-source computer algebra system with Mathematica-compatible syntax. It provides Python … | 83 | 1216 | active |
| JuliaNLSolvers/Optim.jl Optim.jl is a pure-Julia library for univariate and multivariate function optimization, focused on unconstrained local minimization with al… | 94 | 1207 | stable |
| JuliaStats/Distributions.jl A Julia package providing a comprehensive collection of probability distributions and associated functions. It implements moments, entropy,… | 97 | 1205 | stable |
| bbodi/notecalc3 NoteCalc is a browser-based notepad with a smart built-in calculator, written in Rust and compiled to WebAssembly. It aims to be a free, se… | 51 | 1193 | active |
| getkeops/keops KeOps (pykeops) is a Python library for computing kernel reductions over large arrays on CPUs and GPUs using efficient C++/CUDA routines wi… | 61 | 1192 | active |
| kimwalisch/primesieve primesieve is a fast command-line program and C/C++ library for generating prime numbers and prime k-tuplets up to 2^64 using a segmented s… | 95 | 1124 | stable |
| HarryStevens/geometric Geometric.js is a JavaScript library for doing geometry with points, lines, polygons, and angles. It uses plain arrays for geometry primiti… | 85 | 1105 | stable |
| geoopt/geoopt Geoopt is a PyTorch library providing manifold-aware optimizers and manifold tensor containers for Riemannian optimization. It implements R… | 67 | 1100 | active |
| QwenLM/Qwen2.5-Math Qwen2.5-Math is a series of math-specialized large language models (1.5B/7B/72B base and instruct variants plus a 72B reward model) built o… | 24 | 1084 | active |
page 1 / 2 next →