Activity and trending
Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending
Aug 26 – Oct 18, 2026
Stars +6 in 54 days
1
Forks +4 in 54 days
1
Merged PRs 26 in 54 days
12
Trendshift Trendingwhere the repository ranked each day it made the top 25
Top 25 in Agda
1122311332153142134
Aug 26Sep 2Sep 9Sep 16Sep 23Sep 30Oct 7Oct 14
| Day | Stars gained | Forks gained | Merged PRs | Agda |
|---|---|---|---|---|
| Wed, Aug 26, 2026 | +1 | +0 | 0 | #1 |
| Thu, Aug 27, 2026 | +0 | +0 | 0 | Not trending |
| Fri, Aug 28, 2026 | +0 | +0 | 0 | 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 | 0 | Not trending |
| Wed, Sep 2, 2026 | +0 | +0 | 0 | Not trending |
| Thu, Sep 3, 2026 | +0 | +0 | 0 | Not trending |
| Fri, Sep 4, 2026 | +0 | +0 | 0 | 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 | +1 | 0 | Not trending |
| Tue, Sep 8, 2026 | +0 | +0 | 0 | Not trending |
| Wed, Sep 9, 2026 | +0 | +0 | 12 | #1 |
| Thu, Sep 10, 2026 | +0 | +1 | 0 | #2 |
| Fri, Sep 11, 2026 | +0 | +0 | 1 | Not trending |
| Sat, Sep 12, 2026 | +0 | +0 | 0 | Not trending |
| Sun, Sep 13, 2026 | +0 | +0 | 1 | #2 |
| 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 | 2 | #3 |
| 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 | 1 | #1 |
| Tue, Sep 22, 2026 | +0 | +0 | 1 | #1 |
| Wed, Sep 23, 2026 | +0 | +0 | 0 | #3 |
| Thu, Sep 24, 2026 | +0 | +0 | 0 | #3 |
| 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 | 1 | #2 |
| 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 | +1 | +1 | 0 | #1 |
| Sun, Oct 4, 2026 | +0 | +0 | 0 | Not trending |
| Mon, Oct 5, 2026 | +0 | +0 | 0 | #5 |
| Tue, Oct 6, 2026 | +0 | +0 | 1 | #3 |
| Wed, Oct 7, 2026 | +1 | +0 | 0 | #1 |
| Thu, Oct 8, 2026 | +0 | +0 | 1 | #4 |
| Fri, Oct 9, 2026 | +1 | +0 | 0 | #2 |
| Sat, Oct 10, 2026 | +0 | +0 | 0 | Not trending |
| Sun, Oct 11, 2026 | +1 | +0 | 0 | #1 |
| Mon, Oct 12, 2026 | +0 | +1 | 0 | #3 |
| Tue, Oct 13, 2026 | +0 | +0 | 0 | Not trending |
| Wed, Oct 14, 2026 | +0 | +0 | 0 | Not trending |
| Thu, Oct 15, 2026 | +0 | +0 | 3 | #4 |
| Fri, Oct 16, 2026 | +0 | +0 | 1 | Not trending |
| Sat, Oct 17, 2026 | +0 | +0 | 0 | Not trending |
| Sun, Oct 18, 2026 | +1 | +0 | 1 | Not trending |
| Total | +6 | +4 | 26 |
- #1 on the list
- Rank that day
- Not trending
%22%20stroke%3D%22%23A6781A%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-1)%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%23FBE48E%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%238A6418%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%2239.25%22%20text-anchor%3D%22middle%22%20font-family%3D%22Arial%2C%20Helvetica%2C%20sans-serif%22%20font-size%3D%2215%22%20font-weight%3D%22800%22%20fill%3D%22%235A3D05%22%3E1%3C%2Ftext%3E%3C%2Fsvg%3E){kind=small}
%22%20stroke%3D%22%23693C1A%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-3)%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%23D29A66%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%235C3616%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%2239.25%22%20text-anchor%3D%22middle%22%20font-family%3D%22Arial%2C%20Helvetica%2C%20sans-serif%22%20font-size%3D%2215%22%20font-weight%3D%22800%22%20fill%3D%22%23FBEBDD%22%3E3%3C%2Ftext%3E%3C%2Fsvg%3E){kind=small}