Math
364 items from rossant/awesome-math ★16,574
-
OSSU Math github.com
Free, prerequisite-ordered self-study curriculum modeled on the mathematics requirements of an undergraduate degree.
-
AlphaGeometry github.com
Open research implementation combining learned guidance with symbolic deduction for olympiad geometry problems.
-
runmat-org/runmat github.com
[runmat] - A runtime for MATLAB-syntax numerical programs, with GPU acceleration through wgpu.
-
mathlib github.com
Community-maintained mathematical library for Lean 4, with formalized theories, proof tactics, programming infrastructure, and generated documentation.
-
-
AI-Assisted Mathematical Discovery github.com
Open thirteen-week course with notes, notebooks, exercises, and case studies on coding agents, machine learning, language models, reinforcement learning, and experimental mathematical research.
-
miniF2F github.com
Cross-system benchmark of formalized olympiad, high-school, and undergraduate problems for evaluating automated theorem provers.
-
MathFlow github.com
C# math expression library with symbolic computation (differentiation, simplification, equation solving).
