Sign in

openai /math

No description provided by the repository host.

Stars
17,272 stars
Forks
1,949 forks
Language
Lean
License
APACHE-2.0
Created
Oct 6, 2026
Last push
Oct 30, 2026
Updated
Nov 2, 2026

Admitted to the Repository Index on Oct 23, 2026: +447 stars in 7 days.

Star History

29 days recorded, Oct 6, 2026 – Nov 3, 2026 (UTC). Net change +17,328 stars.

Stars at the end of each day17,272 now
1005001K5K10K
Oct 6, 2026Nov 3, 2026
Net stars each dayhighest +5,529
+5,529 on Oct 7, 2026
Oct 6, 2026Nov 3, 2026

The star count of each day is the latest count less the net stars of the later days.

Add this Star History to a README

The images follow the light or dark theme of the page that shows them, and update every hour. Add ?theme=light or ?theme=darkto the chart address to keep one theme.

Star History chart

[![Star History of openai/math](https://awesomerepos.com/openai/math/stars.svg)](https://awesomerepos.com/openai/math)

Badge

[![AwesomeRepos](https://awesomerepos.com/openai/math/badge.svg)](https://awesomerepos.com/openai/math)

Timeline

This repository got 5,529 stars on Oct 7, 2026, its largest day since it was created on Oct 6, 2026.

It gained stars on each of the 29 days with a record.

Its largest 7 days were Oct 6, 2026 to Oct 12, 2026: 14,478 stars.

It reached 10,000 stars on Oct 7, 2026, 1 day after it was created.

  1. Created on the Repository Host
  2. Reached 1,000 stars
  3. +4,982 stars in one day
  4. Reached 10,000 stars
  5. Largest star day recorded: +5,529 stars
  6. +1,890 stars in one day
  7. Entered the Repository Index: +447 stars in 7 days
  8. Latest push

From the Repository Host's creation date and releases, the Admission, the Star History, and the Observations. Star milestones show only when the Star History records the day. On the chart of net stars each day, a solid line marks a release.

Forks and pushes

From 11 Observations, Oct 24, 2026 – Nov 3, 2026. Forks +144. A new push was seen on 2 of 10 days.

Forks1,949
  1. Oct 25, 2026: no new push
  2. Oct 26, 2026: no new push
  3. Oct 27, 2026: new push
  4. Oct 28, 2026: no new push
  5. Oct 29, 2026: no new push
  6. Oct 30, 2026: no new push
  7. Oct 31, 2026: new push
  8. Nov 1, 2026: no new push
  9. Nov 2, 2026: no new push
  10. Nov 3, 2026: no new push

A filled day: the last push time changed since the Observation before it.

Observations

What the Repository Host reported each day.

Day (UTC)StarsForksLast pushArchived
Nov 3, 202617,2721,949Oct 30, 2026No
Nov 2, 202617,2451,937Oct 30, 2026No
Nov 1, 202617,1971,935Oct 30, 2026No
Oct 31, 202617,1361,929Oct 30, 2026No
Oct 30, 202617,0681,923Oct 26, 2026No
Oct 29, 202616,6331,902Oct 26, 2026No
Oct 28, 202616,0211,867Oct 26, 2026No
Oct 27, 202615,5781,824Oct 26, 2026No
Oct 26, 202615,5091,821Oct 12, 2026No
Oct 25, 202615,4831,813Oct 12, 2026No
Oct 24, 202615,4341,805Oct 12, 2026No
Report a problem with this page

Do not include personal data. AwesomeRepos keeps the message, the page, and the time.