Topics / #math

Math projects on GitHub

Mathematics education and computational math tools

As of , the most-starred Math projects on GitHub are freeCodeCamp (457.5K stars), markdown-here (60.3K stars) and manim (41.7K stars). GitHub.Locker tracks 32 Math repositories with 1M stars combined. The fastest-growing on October 18 was freeCodeCamp, with +120 stars in a day.

32Projects
1MStars in total
+428Stars in a day
Browse in the catalog →github.com/topics/math ↗

Hot right now

Most stars gained in a day · Oct 18

+120

freeCodeCamp

freeCodeCamp/freeCodeCamp · ★ 457.5K

freeCodeCamp.org's open-source codebase and curriculum: a friendly, donor-supported community where you learn math, programming, and computer science for free through thousands of interactive coding challenges. The full-stack web development and machine learning curriculum is completely free and self-paced, and the community says it has helped over 100,000 people get their first developer job.

+98

manimgx

academa-labs/manimgx · ★ 1.8K

ManimGX is an animation engine built for coding agents: it renders Manim's Python API into math and 3D videos using a Rust + wgpu GPU core, aiming to be dramatically faster than existing Manim engines.

+73

math

openai/math · ★ 15.2K

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.

+33

PDFMathTranslate

PDFMathTranslate/PDFMathTranslate · ★ 37.7K

It translates scientific PDF papers into other languages while preserving the original layout - formulas, charts, table of contents and annotations stay in place. It was accepted as a demo at EMNLP 2025.

The all-time top

32 projects · by stars

  1. #1 · freeCodeCamp/freeCodeCamp

    freeCodeCamp

    freeCodeCamp.org's open-source codebase and curriculum: a friendly, donor-supported community where you learn math, programming, and computer science for free through thousands of interactive coding challenges. The full-stack web development and machine learning curriculum is completely free and self-paced, and the community says it has helped over 100,000 people get their first developer job.

    457.5K
  2. #2 · adam-p/markdown-here

    markdown-here

    Markdown Here is a browser extension for Chrome, Firefox, Opera, and Thunderbird that lets you write an email in Markdown and then render it into styled HTML right in the compose box before sending.

    60.3K
  3. #3 · 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.7K
  1. 4

    freecodecamp.cn

    37.8KFreeCodeCampChina/freecodecamp.cn · CSS

    This is the Chinese localization of freeCodeCamp - the full source code and curriculum that powers freeCodeCamp.cn, a free browser-based platform for learning full-stack JavaScript development by building real projects.

  2. 5

    PDFMathTranslate

    37.7KPDFMathTranslate/PDFMathTranslate · Python

    It translates scientific PDF papers into other languages while preserving the original layout - formulas, charts, table of contents and annotations stay in place. It was accepted as a demo at EMNLP 2025.

  3. 6

    LeetCode-Go

    33.8Khalfrost/LeetCode-Go · Go

    A large, well-organized collection of LeetCode problem solutions written in Go, with 100% test coverage and runtime beating 100% of submissions on many problems.

  4. 7

    Probabilistic-Programming-and-Bayesian-Methods-for-Hackers

    28.2KCamDavidsonPilon/Probabilistic-Programming-and-Bayesian-Methods-for-Hackers · Jupyter Notebook

    An open-source introductory book, Bayesian Methods for Hackers, that teaches Bayesian inference and probabilistic programming in pure Python with PyMC, built around runnable Jupyter notebook chapters.

  5. 8

    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.

  6. 9

    awesome-algorithms

    25.6Ktayllan/awesome-algorithms

    A curated list of places to learn and practice algorithms: links to courses, books, blogs, visualizers and problem sites, sorted by level and topic.

  7. 10

    DSA-Bootcamp-Java

    24Kkunal-kushwaha/DSA-Bootcamp-Java · Java

    This is a free Java data structures and algorithms (DSA) bootcamp repo holding the code samples, assignments, and notes for WeMakeDevs' interview-prep course.

  8. 11

    100-Days-Of-ML-Code

    22.2KMLEveryday/100-Days-Of-ML-Code · Python

    The Chinese edition of the 100 Days of ML Code challenge: a day-by-day machine learning learning log with infographics, notes and Python code, spanning supervised and unsupervised learning. It translates the original challenge by Avik-Jain and has gathered 22k+ stars.

  9. 12

    KaTeX

    20.5KKaTeX/KaTeX · TypeScript

    KaTeX is a fast, easy-to-use JavaScript library for typesetting TeX math on the web. It renders synchronously without reflowing the page, and its layout is based on Donald Knuth's TeX for print-quality output.

  10. 13

    stanford-cs-229-machine-learning

    20.3Kafshinea/stanford-cs-229-machine-learning

    A collection of cheatsheets and refreshers that summarize all the key concepts taught in Stanford's CS 229 Machine Learning course, covering supervised learning, unsupervised learning, deep learning, and training tips.

  11. 14

    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.

  12. 15

    pykan

    16.3KKindXiaoming/pykan · Jupyter Notebook

    A Python implementation of Kolmogorov-Arnold Networks (KANs), a promising alternative to MLPs, released with the papers 'KAN: Kolmogorov-Arnold Networks' and 'KAN 2.0'.

  13. 16

    numpy-ml

    16.3Kddbourgin/numpy-ml · Python

    A collection of machine learning algorithms — Gaussian mixture models, HMMs, neural networks, tree ensembles, reinforcement learning agents and more — implemented from scratch in pure NumPy.

  14. 17

    gpu.js

    15.5Kgpujs/gpu.js · JavaScript

    GPU.js is a JavaScript library that takes the functions you write and runs them on your GPU as shaders instead of on the CPU — a big speedup for parallel math like matrix multiplication.

  15. 18

    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.

  16. 19

    math

    15.2Kopenai/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.

  17. 20

    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.

  18. 21

    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.

  19. 22

    numpy-100

    14.6Krougier/numpy-100 · Python

    A collection of 100 numpy practice exercises gathered from the numpy mailing list, Stack Overflow, and numpy documentation, with solutions included, meant as both a quick reference and teaching material.

  20. 23

    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.

  21. 24

    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.

  22. 25

    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.

  23. 26

    MathModelAgent

    6.2Kjihe520/MathModelAgent · TeX

    An open-source AI agent for mathematical modeling competitions: it analyzes the problem, builds the model, writes and debugs the code, and produces a formatted paper ready for submission.

  24. 27

    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'.

  25. 28

    manimgx

    1.8Kacadema-labs/manimgx · Python

    ManimGX is an animation engine built for coding agents: it renders Manim's Python API into math and 3D videos using a Rust + wgpu GPU core, aiming to be dramatically faster than existing Manim engines.

  26. 29

    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.

  27. 30

    mitex

    634mitex-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.

  28. 31

    bzd-math-modeling-skills

    426BZDmathclub/bzd-math-modeling-skills · HTML

    A collection of Skills for the Codex and Claude Code coding agents that guides you through the whole math-modeling competition workflow — from understanding the problem statement to a judge-style review of your finished paper.

  29. 32

    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.

Often tagged together