#496 trending today Lean Apache-2.0 Created Oct 2026
openai / math
Stars
15.5k
15,484 total
Today
+50
#496 today
This week
–
Data collecting since Oct 23
This month
–
Data collecting since Oct 23
Stars since we started watching
Total stars per day