Activity and trending
Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending
Sep 6 – Nov 5, 2026
Stars +3 in 61 days
2
Forks +0 in 61 days
Merged PRs 697 in 61 days
57
Trendshift Trendingwhere the repository ranked each day it made the top 25
Top 25 in Lean
11421142223101818
Sep 6Sep 14Sep 22Sep 30Oct 8Oct 16Oct 24Nov 1
| Day | Stars gained | Forks gained | Merged PRs | Lean |
|---|---|---|---|---|
| Sun, Sep 6, 2026 | +0 | +0 | 6 | Not trending |
| Mon, Sep 7, 2026 | +0 | +0 | 11 | Not trending |
| Tue, Sep 8, 2026 | +0 | +0 | 2 | Not trending |
| Wed, Sep 9, 2026 | +0 | +0 | 8 | Not trending |
| Thu, Sep 10, 2026 | +0 | +0 | 5 | Not trending |
| Fri, Sep 11, 2026 | +0 | +0 | 17 | Not trending |
| Sat, Sep 12, 2026 | +0 | +0 | 6 | Not trending |
| Sun, Sep 13, 2026 | +0 | +0 | 3 | Not trending |
| Mon, Sep 14, 2026 | +0 | +0 | 11 | Not trending |
| Tue, Sep 15, 2026 | +0 | +0 | 7 | Not trending |
| Wed, Sep 16, 2026 | +0 | +0 | 8 | Not trending |
| Thu, Sep 17, 2026 | +0 | +0 | 2 | Not trending |
| Fri, Sep 18, 2026 | +0 | +0 | 6 | Not trending |
| Sat, Sep 19, 2026 | +0 | +0 | 6 | Not trending |
| Sun, Sep 20, 2026 | +0 | +0 | 2 | Not trending |
| Mon, Sep 21, 2026 | +0 | +0 | 1 | Not trending |
| Tue, Sep 22, 2026 | +0 | +0 | 7 | Not trending |
| Wed, Sep 23, 2026 | +0 | +0 | 20 | Not trending |
| Thu, Sep 24, 2026 | +0 | +0 | 8 | Not trending |
| Fri, Sep 25, 2026 | +0 | +0 | 6 | Not trending |
| Sat, Sep 26, 2026 | +0 | +0 | 10 | Not trending |
| Sun, Sep 27, 2026 | +0 | +0 | 14 | Not trending |
| Mon, Sep 28, 2026 | +0 | +0 | 2 | Not trending |
| Tue, Sep 29, 2026 | +0 | +0 | 3 | Not trending |
| Wed, Sep 30, 2026 | +0 | +0 | 2 | Not trending |
| Thu, Oct 1, 2026 | +0 | +0 | 1 | Not trending |
| Fri, Oct 2, 2026 | +0 | +0 | 0 | Not trending |
| Sat, Oct 3, 2026 | +0 | +0 | 0 | Not trending |
| Sun, Oct 4, 2026 | +0 | +0 | 12 | Not trending |
| Mon, Oct 5, 2026 | +0 | +0 | 2 | Not trending |
| Tue, Oct 6, 2026 | +0 | +0 | 49 | #11 |
| Wed, Oct 7, 2026 | +0 | +0 | 7 | Not trending |
| Thu, Oct 8, 2026 | +1 | +0 | 2 | Not trending |
| Fri, Oct 9, 2026 | +0 | +0 | 1 | Not trending |
| Sat, Oct 10, 2026 | +0 | +0 | 4 | Not trending |
| Sun, Oct 11, 2026 | +0 | +0 | 15 | Not trending |
| Mon, Oct 12, 2026 | +0 | +0 | 10 | Not trending |
| Tue, Oct 13, 2026 | +2 | +0 | 26 | #4 |
| Wed, Oct 14, 2026 | +0 | +0 | 57 | #21 |
| Thu, Oct 15, 2026 | +0 | +0 | 6 | Not trending |
| Fri, Oct 16, 2026 | +0 | +0 | 2 | Not trending |
| Sat, Oct 17, 2026 | +0 | +0 | 5 | Not trending |
| Sun, Oct 18, 2026 | +0 | +0 | 8 | Not trending |
| Mon, Oct 19, 2026 | +0 | +0 | 2 | Not trending |
| Tue, Oct 20, 2026 | +0 | +0 | 4 | Not trending |
| Wed, Oct 21, 2026 | +0 | +0 | 3 | Not trending |
| Thu, Oct 22, 2026 | +0 | +0 | 5 | Not trending |
| Fri, Oct 23, 2026 | +0 | +0 | 20 | Not trending |
| Sat, Oct 24, 2026 | +0 | +0 | 28 | #14 |
| Sun, Oct 25, 2026 | +0 | +0 | 18 | Not trending |
| Mon, Oct 26, 2026 | +0 | +0 | 28 | #22 |
| Tue, Oct 27, 2026 | +0 | +0 | 21 | Not trending |
| Wed, Oct 28, 2026 | +0 | +0 | 25 | #23 |
| Thu, Oct 29, 2026 | +0 | +0 | 49 | #10 |
| Fri, Oct 30, 2026 | +0 | +0 | 31 | #18 |
| Sat, Oct 31, 2026 | +0 | +0 | 18 | Not trending |
| Sun, Nov 1, 2026 | +0 | +0 | 6 | Not trending |
| Mon, Nov 2, 2026 | +0 | +0 | 21 | #18 |
| Tue, Nov 3, 2026 | +0 | +0 | 27 | Not trending |
| Wed, Nov 4, 2026 | +0 | +0 | 10 | Not trending |
| Thu, Nov 5, 2026 | +0 | +0 | 1 | Not trending |
| Total | +3 | +0 | 697 |
- #1 on the list
- Rank that day
- Not trending
%22%20stroke%3D%22%23271A54%22%20stroke-width%3D%221%22%20%2F%3E%3Cpolygon%20points%3D%2225.00%2C22.00%2035.39%2C28.00%2035.39%2C40.00%2025.00%2C46.00%2014.61%2C40.00%2014.61%2C28.00%22%20stroke-linejoin%3D%22round%22%20fill%3D%22url(%23tsh-weekly-21)%22%20stroke%3D%22none%22%20stroke-width%3D%220%22%20%2F%3E%3Cellipse%20cx%3D%2225%22%20cy%3D%2229.92%22%20rx%3D%226.96%22%20ry%3D%224.08%22%20fill%3D%22%238C93DC%22%20fill-opacity%3D%220.45%22%2F%3E%3Cpolygon%20points%3D%2225.00%2C22.00%2035.39%2C28.00%2035.39%2C40.00%2025.00%2C46.00%2014.61%2C40.00%2014.61%2C28.00%22%20stroke-linejoin%3D%22round%22%20fill%3D%22none%22%20stroke%3D%22%23221858%22%20stroke-width%3D%220.7%22%20stroke-opacity%3D%220.3%22%20transform%3D%22translate(4.00%205.44)%20scale(0.84)%22%2F%3E%3Ctext%20x%3D%2225%22%20y%3D%2238.55%22%20text-anchor%3D%22middle%22%20font-family%3D%22Arial%2C%20Helvetica%2C%20sans-serif%22%20font-size%3D%2213%22%20font-weight%3D%22800%22%20fill%3D%22%23FFFFFF%22%3E21%3C%2Ftext%3E%3C%2Fsvg%3E){kind=small}
%22%20stroke%3D%22%23271A54%22%20stroke-width%3D%221%22%20%2F%3E%3Cpath%20d%3D%22M13.00%2022.00%20H37.00%20V36.16%20Q37.00%2045.04%2025.00%2046.24%20Q13.00%2045.04%2013.00%2036.16%20Z%22%20stroke-linejoin%3D%22round%22%20fill%3D%22url(%23tsh-monthly-22)%22%20stroke%3D%22none%22%20stroke-width%3D%220%22%20%2F%3E%3Cellipse%20cx%3D%2225%22%20cy%3D%2229.92%22%20rx%3D%226.96%22%20ry%3D%224.08%22%20fill%3D%22%238C93DC%22%20fill-opacity%3D%220.45%22%2F%3E%3Cpath%20d%3D%22M13.00%2022.00%20H37.00%20V36.16%20Q37.00%2045.04%2025.00%2046.24%20Q13.00%2045.04%2013.00%2036.16%20Z%22%20stroke-linejoin%3D%22round%22%20fill%3D%22none%22%20stroke%3D%22%23221858%22%20stroke-width%3D%220.7%22%20stroke-opacity%3D%220.3%22%20transform%3D%22translate(4.00%205.44)%20scale(0.84)%22%2F%3E%3Ctext%20x%3D%2225%22%20y%3D%2238.55%22%20text-anchor%3D%22middle%22%20font-family%3D%22Arial%2C%20Helvetica%2C%20sans-serif%22%20font-size%3D%2213%22%20font-weight%3D%22800%22%20fill%3D%22%23FFFFFF%22%3E22%3C%2Ftext%3E%3C%2Fsvg%3E){kind=small}