Activity and trending
Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending
Aug 25 – Oct 24, 2026
Stars +4 in 61 days
2
Forks +4 in 61 days
1
Merged PRs 23 in 61 days
4
Trendshift Trendingwhere the repository ranked each day it made the top 25
Top 25 in Lean
1224
Aug 25Sep 2Sep 10Sep 18Sep 26Oct 4Oct 12Oct 20
| Day | Stars gained | Forks gained | Merged PRs | Lean |
|---|---|---|---|---|
| Tue, Aug 25, 2026 | +0 | +1 | 2 | Not trending |
| Wed, Aug 26, 2026 | +0 | +0 | 2 | Not trending |
| Thu, Aug 27, 2026 | +0 | +0 | 1 | Not trending |
| Fri, Aug 28, 2026 | +0 | +0 | 2 | Not trending |
| Sat, Aug 29, 2026 | +0 | +0 | 0 | Not trending |
| Sun, Aug 30, 2026 | +0 | +0 | 0 | Not trending |
| Mon, Aug 31, 2026 | +0 | +0 | 0 | Not trending |
| Tue, Sep 1, 2026 | +0 | +0 | 1 | Not trending |
| Wed, Sep 2, 2026 | +0 | +0 | 1 | Not trending |
| Thu, Sep 3, 2026 | +2 | +1 | 0 | #12 |
| Fri, Sep 4, 2026 | +0 | +0 | 1 | Not trending |
| Sat, Sep 5, 2026 | +0 | +0 | 0 | Not trending |
| Sun, Sep 6, 2026 | +0 | +0 | 0 | Not trending |
| Mon, Sep 7, 2026 | +0 | +0 | 0 | Not trending |
| Tue, Sep 8, 2026 | +0 | +0 | 0 | Not trending |
| Wed, Sep 9, 2026 | +0 | +0 | 0 | Not trending |
| Thu, Sep 10, 2026 | +0 | +0 | 0 | Not trending |
| Fri, Sep 11, 2026 | +0 | +0 | 0 | Not trending |
| Sat, Sep 12, 2026 | +0 | +0 | 0 | Not trending |
| Sun, Sep 13, 2026 | +0 | +0 | 0 | Not trending |
| Mon, Sep 14, 2026 | +0 | +0 | 0 | Not trending |
| Tue, Sep 15, 2026 | +0 | +0 | 0 | Not trending |
| Wed, Sep 16, 2026 | +0 | +0 | 0 | Not trending |
| Thu, Sep 17, 2026 | +0 | +0 | 0 | Not trending |
| Fri, Sep 18, 2026 | +0 | +0 | 0 | Not trending |
| Sat, Sep 19, 2026 | +0 | +0 | 0 | Not trending |
| Sun, Sep 20, 2026 | +0 | +0 | 0 | Not trending |
| Mon, Sep 21, 2026 | +0 | +0 | 0 | Not trending |
| Tue, Sep 22, 2026 | +1 | +0 | 0 | #24 |
| Wed, Sep 23, 2026 | +0 | +0 | 0 | Not trending |
| Thu, Sep 24, 2026 | +0 | +0 | 0 | Not trending |
| Fri, Sep 25, 2026 | +0 | +0 | 0 | Not trending |
| Sat, Sep 26, 2026 | +0 | +0 | 0 | Not trending |
| Sun, Sep 27, 2026 | +0 | +0 | 0 | Not trending |
| Mon, Sep 28, 2026 | +0 | +0 | 0 | Not trending |
| Tue, Sep 29, 2026 | +0 | +0 | 0 | Not trending |
| Wed, Sep 30, 2026 | +0 | +0 | 0 | Not trending |
| Thu, Oct 1, 2026 | +0 | +0 | 0 | Not trending |
| Fri, Oct 2, 2026 | +0 | +0 | 0 | Not trending |
| Sat, Oct 3, 2026 | +0 | +0 | 0 | Not trending |
| Sun, Oct 4, 2026 | +1 | +0 | 0 | Not trending |
| Mon, Oct 5, 2026 | +0 | +0 | 0 | Not trending |
| Tue, Oct 6, 2026 | +0 | +0 | 0 | Not trending |
| Wed, Oct 7, 2026 | +0 | +0 | 0 | Not trending |
| Thu, Oct 8, 2026 | +0 | +1 | 0 | Not trending |
| Fri, Oct 9, 2026 | +0 | +0 | 1 | Not trending |
| Sat, Oct 10, 2026 | +0 | +0 | 0 | Not trending |
| Sun, Oct 11, 2026 | +0 | +0 | 0 | Not trending |
| Mon, Oct 12, 2026 | +0 | +0 | 0 | Not trending |
| Tue, Oct 13, 2026 | +0 | +1 | 0 | Not trending |
| Wed, Oct 14, 2026 | +0 | +0 | 0 | Not trending |
| Thu, Oct 15, 2026 | +0 | +0 | 4 | Not trending |
| Fri, Oct 16, 2026 | +0 | +0 | 1 | Not trending |
| Sat, Oct 17, 2026 | +0 | +0 | 0 | Not trending |
| Sun, Oct 18, 2026 | +0 | +0 | 0 | Not trending |
| Mon, Oct 19, 2026 | +0 | +0 | 3 | Not trending |
| Tue, Oct 20, 2026 | +0 | +0 | 3 | Not trending |
| Wed, Oct 21, 2026 | +0 | +0 | 1 | Not trending |
| Thu, Oct 22, 2026 | +0 | +0 | 0 | Not trending |
| Fri, Oct 23, 2026 | +0 | +0 | 0 | Not trending |
| Sat, Oct 24, 2026 | +0 | +0 | 0 | Not trending |
| Total | +4 | +4 | 23 |
- #1 on the list
- Rank that day
- Not trending