★ RealStarsLanguages Categories Methodology Newsletter

Lean

#	Repo	Lang	Stars	Real growth stars/day	Pattern
1	openai/math	Lean	14,969	443.9	Unusual star pattern · 70%

RealStars ranks repos by estimated organic star growth from sampled public GitHub data. Scores are statistical signals, not accusations. Spotted an error? Request a correction. Updated 2026-10-16 06:46 UTC.