openai/math

by OpenAI Lean Apache-2.0 licence 1,979 forks Created Oct 2026 View on GitHub

Stars
17,488
2% of openai's stars
Rank
#2,802
of 847,086 repos, top 0.3%
Up 32 places this week

Among 847,086 repos

16k–25k stars: 1,432 repos, including math

Stars along the bottom, and repos in each band on a log scale

Quick stats

Next rank
+8 stars to reach #2,801
Next milestone
+20,657 stars to reach the top 0.1%
Popular
One of 5,747 repos with 10k+ stars

Stars counted Recounted daily Next count around