Topics / #mathematics

Mathematics projects on GitHub

Algorithmic mathematics and problem solving

As of , the most-starred Mathematics projects on GitHub are manim (95.2K stars), manim (41.6K stars) and C-Plus-Plus (34.8K stars). GitHub.Locker tracks 53 Mathematics repositories with 801.5K stars combined. The fastest-growing on October 16 was math, with +87 stars in a day.

53Projects
801.5KStars in total
+349Stars in a day
Browse in the catalog →github.com/topics/mathematics ↗

Hot right now

Most stars gained in a day · Oct 16

+87

math

openai/math · ★ 15K

A public catalogue of 719 mathematical manuscripts grouped into 372 families, written by an internal OpenAI model during evaluations on open research problems. About 42% of top-line results already have Lean formalizations.

+62

manim

3b1b/manim · ★ 95.2K

ManimGL is a Python engine for precise programmatic animations, designed for creating explanatory math videos — the tool built by 3Blue1Brown's author to animate his videos.

+31

manim

ManimCommunity/manim · ★ 41.6K

Manim is a community-maintained Python framework for creating precise mathematical animations programmatically — the engine behind 3Blue1Brown-style explanatory math videos.

+18

Book-Mathematical-Foundation-of-Reinforcement-Learning

MathFoundationRL/Book-Mathematical-Foundation-of-Reinforcement-Learning · ★ 18.2K

The GitHub homepage of the book 'Mathematical Foundations of Reinforcement Learning': a mathematically grounded but friendly introduction to RL, with free PDF drafts, lecture-video links, and grid-world code.

The all-time top

53 projects · by stars

  1. #1 · 3b1b/manim

    manim

    ManimGL is a Python engine for precise programmatic animations, designed for creating explanatory math videos — the tool built by 3Blue1Brown's author to animate his videos.

    95.2K
  2. #2 · ManimCommunity/manim

    manim

    Manim is a community-maintained Python framework for creating precise mathematical animations programmatically — the engine behind 3Blue1Brown-style explanatory math videos.

    41.6K
  3. #3 · TheAlgorithms/C-Plus-Plus

    C-Plus-Plus

    This is TheAlgorithms/C-Plus-Plus, an open-source collection of algorithm implementations in C++ covering computer science, mathematics, machine learning, and physics, built as a learning resource rather than for production use.

    34.8K
  1. 4

    JavaScript

    34.3KTheAlgorithms/JavaScript · JavaScript

    A JavaScript implementation of classic algorithms and data structures, built for beginners who want readable, well-organized reference code.

  2. 5

    numpy

    33Knumpy/numpy · Python

    NumPy is the fundamental package for scientific computing with Python — the array-and-math foundation that most numerical Python code builds on.

  3. 6

    awesome-datascience

    30.2Kacademic/awesome-datascience

    An open-source, community-maintained Data Science repository — essentially a giant curated list of resources (courses, tutorials, algorithms, tools, books, datasets, communities) for learning and applying data science to real-world problems. Around 30k stars, around since 2014.

  4. 7

    pumpkin-book

    26.1Kdatawhalechina/pumpkin-book

    Pumpkin Book (南瓜书) is a companion study guide that fills in the derivation details Zhou Zhihua's 'Machine Learning' textbook (known as the Watermelon Book, 西瓜书) deliberately left out.

  5. 8

    open-source-cs

    23.8KForrestKnight/open-source-cs

    This is a curated list of free online courses from top universities (MIT, Stanford, Princeton, Duke and others) organized so that completing them covers the same material as an undergraduate Computer Science degree, minus general education requirements.

  6. 9

    C

    22.5KTheAlgorithms/C · C

    A community-maintained, open-source collection of algorithm implementations in C, covering computer science, mathematics, statistics, data science, machine learning and engineering.

  7. 10

    data-science

    22.2Kossu/data-science

    OSSU Data Science is a free, self-taught curriculum that mirrors an undergraduate degree in data science, built from MOOCs offered by top universities, covering everything from intro programming through machine learning and a final project.

  8. 11

    The-Art-of-Linear-Algebra

    21.8Kkenjihiranabe/The-Art-of-Linear-Algebra · PostScript

    This is a visual notebook of graphic notes that illustrate the core concepts of Gilbert Strang's book 'Linear Algebra for Everyone', covering matrix factorizations like CR, LU, QR, eigen-decomposition, and SVD.

  9. 12

    nndl

    19.4Knndl/nndl

    The official home of Qiu Xipeng's Chinese textbook 'Neural Network and Deep Learning': it hosts free e-book PDFs, chapter listings, learning resources and errata for the 2nd edition and the new general-audience edition.

  10. 13

    Kalman-and-Bayesian-Filters-in-Python

    19.4Krlabbe/Kalman-and-Bayesian-Filters-in-Python · Jupyter Notebook

    An interactive book that teaches Kalman and Bayesian filters (Kalman, extended Kalman, unscented Kalman, particle filters) using Python and Jupyter Notebook, focused on intuition rather than formal proofs.

  11. 14

    algorithms

    18.8Kwilliamfiset/algorithms · Java

    A large open-source collection of classic algorithms and data structures implemented in Java, written to demonstrate correct implementations in the simplest and most elegant ways.

  12. 15

    interview

    18.4KOlshansk/interview

    A curated collection of links — books, courses, articles, question banks, mock-interview services, and videos — meant to help you prepare for a technical interview, especially at companies like Google and Facebook.

  13. 16

    Book-Mathematical-Foundation-of-Reinforcement-Learning

    18.2KMathFoundationRL/Book-Mathematical-Foundation-of-Reinforcement-Learning · MATLAB

    The GitHub homepage of the book 'Mathematical Foundations of Reinforcement Learning': a mathematically grounded but friendly introduction to RL, with free PDF drafts, lecture-video links, and grid-world code.

  14. 17

    networkx

    17.3Knetworkx/networkx · Python

    NetworkX is a Python package for creating, manipulating, and studying complex networks — collections of nodes connected by edges — together with algorithms for analyzing them.

  15. 18

    awesome-math

    16.6Krossant/awesome-math · Python

    A curated GitHub list of high-quality resources for learning, teaching, and doing mathematics — covering pure math, applied math, computation, formal proof, and AI in mathematics.

  16. 19

    LaTeX-OCR

    16.6Klukas-blecher/LaTeX-OCR · Python

    A learning-based OCR system: feed it an image of a math formula and it returns the matching LaTeX code.

  17. 20

    mml-book.github.io

    16.1Kmml-book/mml-book.github.io · Jupyter Notebook

    This is the companion website for the book 'Mathematics For Machine Learning', providing exercises and Jupyter notebooks that go along with the book's chapters.

  18. 21

    free-books

    16Kruanyf/free-books

    This is a curated, Chinese-language collection of free computer-science books found online, grouped into eight categories: web development, systems administration, programming languages, databases, software development, artificial intelligence, math theory, and other topics.

  19. 22

    math-as-code

    15.5KExperience-Monks/math-as-code

    A cheat-sheet that eases developers into mathematical notation by putting each symbol next to equivalent JavaScript code — a bridge for reading math-heavy papers and articles.

  20. 23

    scipy

    15.1Kscipy/scipy · Python

    SciPy (pronounced 'Sigh Pie') is an open-source Python library for mathematics, science, and engineering.

  21. 24

    mathjs

    15.1Kjosdejong/mathjs · JavaScript

    An extensive math library for JavaScript and Node.js: a flexible expression parser with symbolic computation, a large set of built-in functions and constants, and support for numbers, big numbers, complex numbers, fractions, units, and matrices.

  22. 25

    math

    15Kopenai/math · Lean

    A public catalogue of 719 mathematical manuscripts grouped into 372 families, written by an internal OpenAI model during evaluations on open research problems. About 42% of top-line results already have Lean formalizations.

  23. 26

    sympy

    15Ksympy/sympy · Python

    SymPy is a computer algebra system (CAS) written entirely in pure Python, used for symbolic mathematics like algebra, calculus, and equation solving.

  24. 27

    Ai-Learn

    13.4Ktangyudi/Ai-Learn

    This is a free, structured roadmap of nearly 200 hands-on AI learning projects covering Python, math, machine learning, data analysis, deep learning, computer vision and NLP, created by instructor Tangyudi (唐宇迪) to help beginners become job-ready in AI.

  25. 28

    expert_readed_books

    12.7K0voice/expert_readed_books

    This is a curated Chinese-language reading list of books recommended for software engineers, covering computer science, software engineering, startups, philosophy, history, business biographies, math, economics, and novels.

  26. 29

    MathModel

    12.4Kzhanwen/MathModel · TeX

    A large Chinese repository collecting resources for mathematical modeling competitions: contest problems and award-winning papers from China's graduate and undergraduate math modeling contests (and some American MCM papers), plus LaTeX/Word paper templates, algorithm mind maps, textbooks, and Matlab tutorials.

  27. 30

    milewski-ctfp-pdf

    11.7Khmemcpy/milewski-ctfp-pdf · TeX

    An unofficial PDF and LaTeX version of Bartosz Milewski's 'Category Theory for Programmers' book, converted from his blog post series with his permission.

  28. 31

    plex

    11.7KIBM/plex · CSS

    IBM Plex is IBM's corporate typeface family, released as an open-source project. It's a signature font family you can download and use under the Open Font License.

  29. 32

    Statistical-Learning-Method_Code

    11.6KDod-o/Statistical-Learning-Method_Code · Python

    A from-scratch Python implementation of every algorithm covered in Li Hang's book 'Statistical Learning Method' (统计学习方法), with heavily commented code that maps directly to the formulas in the book.

  30. 33

    videos

    11.4K3b1b/videos · Python

    This is the source code behind 3Blue1Brown's math explainer videos: the Python scenes, built with the manim animation library, that generate the actual visuals seen in the videos.

  31. 34

    numerical-linear-algebra

    11Kfastai/numerical-linear-algebra · Jupyter Notebook

    A free online textbook of Jupyter notebooks teaching Computational Linear Algebra, built from a course taught at the University of San Francisco's Masters of Science in Analytics program in 2017.

  32. 35

    MathJax

    10.9Kmathjax/MathJax · JavaScript

    MathJax is an open-source JavaScript display engine that renders LaTeX, MathML, and AsciiMath notation in all modern browsers, with built-in support for assistive technology like screen readers.

  33. 36

    mlcourse.ai

    10.8KYorko/mlcourse.ai · Python

    An open Machine Learning course by the OpenDataScience (ods.ai) community, led by Yury Kashnitsky: 10 weeks that pair math-heavy lectures with hands-on assignments and Kaggle Inclass competitions, now taken self-paced.

  34. 37

    machine-learning-notes

    10.4Kroboticcam/machine-learning-notes · Jupyter Notebook

    A continuously updated, free collection of over 2000 slides and lecture notes covering machine learning, probabilistic models, deep learning, and related mathematics, written by the author over more than a decade.

  35. 38

    Book4_Power-of-Matrix

    10.1KVisualize-ML/Book4_Power-of-Matrix · Jupyter Notebook

    This is the companion repository for '矩阵力量' (Power of Matrix), the third book in the 'Iris Flower Book' (鸢尾花书) series. It teaches linear algebra and matrix theory step by step as a foundation for machine learning, paired with Jupyter notebooks that run every example.

  36. 39

    sktime

    10.1Ksktime/sktime · Python

    sktime is a Python library for machine learning with time series: one unified interface for forecasting, classification, clustering, and anomaly or changepoint detection.

  37. 40

    maths-cs-ai-compendium

    7.7KHenryNdubuaku/maths-cs-ai-compendium · TypeScript

    An open, unconventional online textbook covering maths, computing and AI from the ground up — intuition first, real-world context, for practitioners who want deep understanding rather than exam survival.

  38. 41

    NavierStokesAndEuler

    2.1Kopenai/NavierStokesAndEuler · Lean

    This repository contains Lean 4 formalizations (machine-checked formal proofs) of two OpenAI papers: 'Finite time blowup for Navier-Stokes' and 'Finite time blowup for the Euler equation'.

  39. 42

    fermats-last-theorem

    1.3Kanthropics/fermats-last-theorem · Lean

    A complete, machine-checked Lean 4 proof of Fermat's Last Theorem built on Mathlib, following the Frey-Serre-Ribet-Wiles-Taylor-Wiles argument, and cross-checked by two independent kernels.

  40. 43

    shulihuazixuecongshu

    928tradecatlabs/shulihuazixuecongshu · Python

    This repository preserves and rebuilds the 17-volume Chinese textbook series '数理化自学丛书' (Self-Study Series of Mathematics, Physics, and Chemistry), keeping the original scanned PDFs alongside semantic Markdown transcriptions, extracted image assets, and tools to reproducibly build EPUB3 editions.

  41. 44

    mitex

    633mitex-rs/mitex · Rust

    MiTeX brings LaTeX support to Typst: it parses LaTeX into an abstract syntax tree, converts it into Typst code, and evaluates it into Typst content, so you can write LaTeX math directly in Typst documents.

  42. 45

    rebalancer

    461facebook/rebalancer · C++

    Rebalancer is a domain-specific language and library for defining and solving assignment problems, like putting objects into containers under constraints and goals.

  43. 46

    math-mastery

    379kenowong/math-mastery · HTML

    A pure front-end math learning and practice app covering core problem-solving methods from elementary school through high school, with randomized question generation so each practice round has fresh problems.

  44. 47

    cumcm-step-review

    317yuanchen-home/cumcm-step-review · Python

    This is an Agent Skill that provides a complete step-by-step review workflow for writing a CUMCM (China Undergraduate Mathematical Contest in Modeling) paper, compatible with Codex, Claude Code and other agents that support the Agent Skills spec.

  45. 48

    modex-mh-agent

    287N-allpass/modex-mh-agent

    Modex · MH Agent is a Windows desktop AI agent that automates the full pipeline of mathematical modeling competitions and academic research, taking a competition problem all the way to a competition-grade paper overnight with one command.

  46. 49

    integer-mult-bounds

    282CrocSwap/integer-mult-bounds · Python

    This is a community research project that tracks and audits incremental improvements to the theoretical time bound for integer multiplication, expressed as a shrinking exponent kappa, conditional on an external OpenAI framework.

  47. 50

    fluid_lean

    268tristanbuckmaster/fluid_lean · Lean

    fluid_lean is a research codebase written in Lean, the programming language and interactive theorem prover used for formalizing mathematics. Judging by its name, it applies Lean to fluid dynamics, the branch of physics that studies how fluids move.

  48. 51

    dopa-drill

    242grmchn/dopa-drill · JavaScript

    A browser-only math drill game ('Dopadrill') where the visual effects and music keep escalating with every correct answer. A mascot named Dopakichi carries your typed numbers and celebrates each correct result, building toward a festival-like finale.

  49. 52

    PrimeGaps186

    166openai/PrimeGaps186 · Lean

    This is a Lean 4 formalization proving a bound on gaps between consecutive primes (gap at most 186), along with a Python script that numerically verifies the inputs used by the proof.

  50. 53

    cumcm-c-problem-lfs

    148liufanshan11/cumcm-c-problem-lfs · TeX

    A skill for AI agents that handles Problem C of CUMCM, China's national undergraduate math-modeling contest: a full modeling-and-paper production workflow distilled from 2018–2025 official C-problem papers, expert commentary and grading standards.

Often tagged together