Activity and trending
Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending
Aug 14 – Oct 10, 2026
Stars +4 in 58 days
1
Forks +4 in 58 days
2
Merged PRs 36 in 58 days
5
Trendshift Trendingwhere the repository ranked each day it made the top 25
Top 25 in OCaml
11241025172315221524
Top 25 in Rocq Prover
77
Aug 14Aug 22Aug 30Sep 7Sep 15Sep 23Oct 1Oct 9
| Day | Stars gained | Forks gained | Merged PRs | OCaml | Rocq Prover |
|---|---|---|---|---|---|
| Fri, Aug 14, 2026 | +1 | +0 | 1 | #11 | Not trending |
| Sat, Aug 15, 2026 | +0 | +0 | 2 | #24 | Not trending |
| Sun, Aug 16, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Mon, Aug 17, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Tue, Aug 18, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Wed, Aug 19, 2026 | +1 | +0 | 0 | #10 | Not trending |
| Thu, Aug 20, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Fri, Aug 21, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Sat, Aug 22, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Sun, Aug 23, 2026 | +0 | +0 | 2 | Not trending | Not trending |
| Mon, Aug 24, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Tue, Aug 25, 2026 | +0 | +0 | 5 | #25 | Not trending |
| Wed, Aug 26, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Thu, Aug 27, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Fri, Aug 28, 2026 | +0 | +0 | 0 | Not trending | Not trending |
| Sat, Aug 29, 2026 | +0 | +2 | 0 | #17 | Not trending |
| Sun, Aug 30, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Mon, Aug 31, 2026 | +0 | +0 | 0 | Not trending | Not trending |
| Tue, Sep 1, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Wed, Sep 2, 2026 | +0 | +0 | 3 | #23 | Not trending |
| Thu, Sep 3, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Fri, Sep 4, 2026 | +0 | +0 | 3 | Not trending | Not trending |
| Sat, Sep 5, 2026 | +1 | +0 | 1 | #15 | Not trending |
| Sun, Sep 6, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Mon, Sep 7, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Tue, Sep 8, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Wed, Sep 9, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Thu, Sep 10, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Fri, Sep 11, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Sat, Sep 12, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Sun, Sep 13, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Mon, Sep 14, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Tue, Sep 15, 2026 | +0 | +0 | 1 | Not trending | Not trending |
| Wed, Sep 16, 2026 | +0 | +0 | 1 | Not trending | Not trending |
| Thu, Sep 17, 2026 | +0 | +1 | 2 | Not trending | Not trending |
| Fri, Sep 18, 2026 | +0 | +1 | 1 | Not trending | Not trending |
| Sat, Sep 19, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Sun, Sep 20, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Mon, Sep 21, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Tue, Sep 22, 2026 | +0 | +0 | 1 | Not trending | Not trending |
| Wed, Sep 23, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Thu, Sep 24, 2026 | +0 | +0 | 0 | Not trending | Not trending |
| Fri, Sep 25, 2026 | +0 | +0 | 5 | #22 | Not trending |
| Sat, Sep 26, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Sun, Sep 27, 2026 | +1 | +0 | 0 | #15 | Not trending |
| Mon, Sep 28, 2026 | +0 | +0 | 1 | Not trending | Not trending |
| Tue, Sep 29, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Wed, Sep 30, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Thu, Oct 1, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Fri, Oct 2, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Sat, Oct 3, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Sun, Oct 4, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Mon, Oct 5, 2026 | +0 | +0 | 3 | #24 | Not trending |
| Tue, Oct 6, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Wed, Oct 7, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Thu, Oct 8, 2026 | +0 | +0 | 3 | Not trending | #7 |
| Fri, Oct 9, 2026 | No figure | No figure | No figure | Not trending | Not trending |
| Sat, Oct 10, 2026 | +0 | +0 | 1 | Not trending | #7 |
| Total | +4 | +4 | 36 |
- #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-18)%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%3E18%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-25)%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%3E25%3C%2Ftext%3E%3C%2Fsvg%3E){kind=small}