domain: mathematics
151 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… | 78 | 92083 | active |
| Julia Julia is a high-level, high-performance dynamic programming language designed for technical computing, combining scripting-language ergonom… | 99 | 49037 | stable |
| ManimCommunity/manim Manim Community Edition is a Python framework and animation engine for programmatically creating precise mathematical animations and explan… | 94 | 40481 | active |
| KaTeX/KaTeX KaTeX is a fast, dependency-free JavaScript library for rendering TeX/LaTeX math on the web. It renders synchronously with print-quality la… | 98 | 20340 | stable |
| networkx/networkx NetworkX is a Python library for creating, manipulating, and studying graphs and complex networks. It provides algorithms for shortest path… | 86 | 17223 | 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… | 76 | 15070 | stable |
| scipy/scipy SciPy is an open-source Python library providing fundamental algorithms for scientific computing, including optimization, integration, inte… | 95 | 14954 | stable |
| sympy/sympy SymPy is a computer algebra system (CAS) written in pure Python for symbolic mathematics. It provides capabilities for algebra, calculus, e… | 70 | 14891 | 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… | 79 | 13946 | 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 | 12610 | stable |
| Lean Theorem Prover Lean 4 is an open-source dependently typed functional programming language and interactive theorem prover used for formalizing mathematics … | 99 | 8913 | active |
| gonum/gonum Gonum is a suite of numerical and scientific computing libraries for Go, covering matrices and linear algebra, statistics and probability, … | 73 | 8427 | active |
| penrose/penrose Penrose is a platform and TypeScript library for creating mathematical and technical diagrams declaratively by writing plain-text notation … | 70 | 7969 | active |
| google/latexify_py A Python library that compiles Python source code or AST fragments into corresponding LaTeX math expressions. It includes IPython integrati… | 10 | 7623 | active |
| lballabio/QuantLib QuantLib is a free, open-source C++ library providing a comprehensive framework for quantitative finance, including instruments pricing, mo… | 89 | 7546 | stable |
| MikeMcl/decimal.js decimal.js is an arbitrary-precision Decimal type for JavaScript, supporting integers and floats with configurable significant-digit precis… | 74 | 7249 | stable |
| rtqichen/torchdiffeq torchdiffeq is a PyTorch library of differentiable ordinary differential equation (ODE) solvers, best known as the canonical implementation… | 39 | 6477 | stable |
| cvxpy/cvxpy CVXPY is a Python-embedded modeling language for expressing and solving convex optimization problems in natural mathematical syntax. It can… | 98 | 6309 | stable |
| PyPortfolio/PyPortfolioOpt PyPortfolioOpt is a Python library for financial portfolio optimization, implementing classical mean-variance optimization, Black-Litterman… | 75 | 5983 | stable |
| stdlib-js/stdlib stdlib is a standard library for JavaScript and TypeScript with an emphasis on numerical and scientific computing, providing math, statisti… | 95 | 5943 | active |
| rocq-prover/rocq The Rocq Prover (formerly Coq) is an interactive theorem prover and proof assistant based on the Calculus of Inductive Constructions, provi… | 83 | 5556 | stable |
| google-deepmind/alphageometry Google DeepMind's implementation of AlphaGeometry and DDAR, AI systems that solve Olympiad-level geometry theorem proving problems. It comb… | 55 | 4879 | 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… | 76 | 4547 | stable |
| Mathlib Mathlib is the community-maintained mathematics library for the Lean 4 theorem prover, containing formalized mathematical theories, tactics… | 99 | 3948 | active |
| HigherOrderCO/Kind Kind is a minimal proof language and proof checker based on dependent type theory and lambda calculus, rewritten from JavaScript to Haskell… | 24 | 3766 | 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… | 36 | 3765 | stable |
| varkor/quiver Quiver is a web-based graphical editor for creating commutative and pasting diagrams used in category theory and mathematics. It renders hi… | 77 | 3609 | active |
| simple-statistics/simple-statistics A dependency-free JavaScript library implementing descriptive, regression, and inference statistics for Node.js and browsers. It is written… | 99 | 3519 | stable |
| stevenpetryk/mafs Mafs is a set of opinionated React components for building interactive, animated math visualizations with declarative code. It is distribut… | 40 | 3427 | 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,… | 95 | 3151 | active |
| domokane/FinancePy FinancePy is a Python library for pricing and risk-managing financial derivatives across fixed-income, equity, FX, and credit asset classes… | 99 | 3113 | 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… | 81 | 2946 | stable |
| agda/agda Agda is a dependently typed functional programming language that doubles as an interactive theorem prover based on intuitionistic type theo… | 67 | 2920 | 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… | 75 | 2748 | active |
| sharkdp/numbat Numbat is a statically typed programming language for scientific computations with first-class support for physical dimensions and units, i… | 99 | 2668 | active |
| Qalculate! Qalculate! is a multi-purpose cross-platform desktop calculator library (libqalculate) with a CLI program (qalc) and GTK/Qt frontends. It c… | 93 | 2633 | active |
| SageMath SageMath is a free, open-source mathematics software system built on Python that integrates many existing libraries (NumPy, SciPy, SymPy, M… | 93 | 2520 | stable |
| Pyomo/pyomo Pyomo is a Python-based open-source algebraic modeling language for formulating, solving, and analyzing structured optimization problems. I… | 91 | 2511 | stable |
| 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… | 76 | 2495 | active |
| 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… | 89 | 2473 | 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 | 2467 | stable |
| markrogoyski/math-php MathPHP is a pure PHP math library with no external dependencies covering statistics, probability distributions, linear algebra, numerical … | 62 | 2410 | active |
| MathJax MathJax is an open-source JavaScript display engine that renders LaTeX, MathML, and AsciiMath notation as high-quality typeset mathematics … | 92 | 2392 | stable |
| QuantEcon/QuantEcon.py QuantEcon.py is an open-source Python library for quantitative economics, providing routines for dynamic programming, Markov chain analysis… | 97 | 2391 | 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 | 2325 | stable |
| geogebra/geogebra GeoGebra is a suite of interactive mathematics applications including graphing calculators, geometry tools, a 3D calculator, a scientific c… | 77 | 2315 | active |
| casadi/casadi CasADi is an open-source symbolic framework for gradient-based numerical optimization, implementing forward and reverse mode automatic diff… | 91 | 2281 | 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… | 81 | 2267 | stable |
| osqp/osqp OSQP is a C library for solving convex quadratic programs using an ADMM-based operator splitting method, with interfaces to Python, Julia, … | 51 | 2177 | stable |
| PyPSA/PyPSA PyPSA is an open-source Python framework for optimising and simulating power and energy systems, covering conventional generators with unit… | 99 | 2113 | stable |
| Paidax01/math-curve-loaders A lightweight, dependency-free gallery of loading animations based on mathematical curves like rose curves, Lissajous curves, and hypotroch… | 48 | 2012 | 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 | 2001 | stable |
| numworks/epsilon Epsilon is a high-performance operating system for the NumWorks graphing calculator, written in C++, with eleven apps covering the high sch… | 65 | 1945 | 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… | 82 | 1911 | active |
| Reference-LAPACK/lapack LAPACK is a reference library of Fortran subroutines for solving common numerical linear algebra problems such as linear equations, eigenva… | 67 | 1889 | stable |
| cpmech/gosl Gosl is a Go scientific library providing linear algebra, eigenvalue solvers, FFTs, random numbers, probability distributions, optimization… | 49 | 1877 | active |
| apple/swift-numerics Swift Numerics is an Apple-maintained Swift package providing advanced mathematical types and functions such as complex numbers for numeric… | 58 | 1870 | active |
| avhz/RustQuant RustQuant is a Rust library for quantitative finance, offering modules for option pricing, stochastic processes, autodiff, statistics, and … | 58 | 1812 | 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… | 66 | 1811 | active |
| ERGO-Code/HiGHS HiGHS is a high-performance open-source solver for large-scale sparse linear optimization problems, supporting linear programming (LP), con… | 92 | 1803 | active |
| coin-or/Ipopt Ipopt (Interior Point OPTimizer) is an open-source C++ software package for large-scale nonlinear optimization of continuous problems with … | 70 | 1778 | stable |
| typelevel/spire Spire is a numeric library for Scala providing powerful new number types (like Rational, Complex, and more) and generic numeric abstraction… | 65 | 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 | 1661 | 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 |
| DrTimothyAldenDavis/SuiteSparse SuiteSparse is a collection of sparse matrix algorithm libraries written in C/C++, including factorization packages (UMFPACK, CHOLMOD, SPQR… | 98 | 1541 | 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… | 94 | 1524 | active |
| MarkBaker/PHPMatrix A PHP library providing a Matrix class with common linear algebra operations such as addition, multiplication, inverse, determinant, transp… | 23 | 1514 | stable |
| geomstats/geomstats Geomstats is an open-source Python package for computations, statistics, and machine learning on manifolds with geometric structures. It pr… | 67 | 1513 | active |
| 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… | 75 | 1485 | active |
| 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 |
| jsxgraph/jsxgraph JSXGraph is a standalone JavaScript library for interactive geometry, function plotting, charting, and data visualization in the browser, r… | 98 | 1429 | stable |
| 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… | 85 | 1403 | active |
| symengine/symengine SymEngine is a standalone fast C++ symbolic manipulation (computer algebra) library. It offers thin wrappers for other languages such as Py… | 88 | 1402 | 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… | 76 | 1382 | active |
| cvc5/cvc5 cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems, determining the satisfiability of first-… | 89 | 1357 | active |
| owlbarn/owl Owl is an OCaml library for scientific and engineering computing, providing n-dimensional arrays, linear algebra, statistics, optimization,… | 66 | 1351 | 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 | 1351 | stable |
| CMA-ES/pycma pycma is a Python implementation of the CMA-ES (Covariance Matrix Adaptation Evolution Strategy) derivative-free optimization algorithm, al… | 84 | 1350 | stable |
| fortran-lang/stdlib A community-driven de facto standard library for Fortran, providing utilities, algorithms, and mathematical routines missing from the ISO F… | 86 | 1344 | active |
| anvaka/fieldplay Field Play is a browser-based WebGL application for exploring and visualizing vector fields by animating thousands of GPU-driven particles.… | 67 | 1318 | active |
| lean-dojo/LeanCopilot Lean Copilot integrates large language models natively into the Lean 4 theorem prover for proof automation. It provides tactic suggestion, … | 90 | 1316 | 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… | 34 | 1297 | 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 | 1296 | stable |
| sagemathinc/cocalc CoCalc is a web-based collaborative computation platform offering Jupyter Notebooks, Sage Worksheets, a LaTeX editor, Linux terminals, and … | 70 | 1287 | 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… | 60 | 1275 | active |
| thieu1995/mealpy Mealpy is a Python library providing a large collection (233+) of state-of-the-art metaheuristic optimization algorithms, including nature-… | 73 | 1272 | 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… | 48 | 1258 | active |
| form-dev/form FORM is a symbolic manipulation system written in C that reads symbolic expressions from files and performs algebraic transformations, outp… | 87 | 1239 | active |
| python-adaptive/adaptive Adaptive is an open-source Python library for parallel active learning of mathematical functions. It intelligently selects the most informa… | 91 | 1227 | active |
| rust-num/num A meta-crate for Rust that re-exports a collection of numeric types and traits, including big integers, rationals, complex numbers, and gen… | 73 | 1220 | stable |
| JuliaNLSolvers/Optim.jl Optim.jl is a pure-Julia library for univariate and multivariate function optimization, focused on unconstrained local minimization with al… | 96 | 1204 | stable |
| mpmath/mpmath mpmath is a pure-Python library for arbitrary-precision real and complex floating-point arithmetic with no required dependencies beyond Pyt… | 91 | 1203 | 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 … | 86 | 1203 | active |
| JuliaStats/Distributions.jl A Julia package providing a comprehensive collection of probability distributions and associated functions. It implements moments, entropy,… | 98 | 1197 | 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… | 55 | 1196 | active |
| FEniCS/dolfinx DOLFINx is the next-generation computational environment of the FEniCS Project, implemented in C++ with Python bindings, for solving partia… | 95 | 1191 | 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… | 65 | 1189 | 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… | 93 | 1111 | 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… | 91 | 1104 | stable |
| geoopt/geoopt Geoopt is a PyTorch library providing manifold-aware optimizers and manifold tensor containers for Riemannian optimization. It implements R… | 59 | 1091 | active |
page 1 / 2 next →