math-comp/math-comp

Activity and trending

Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending

Aug 17 – Oct 9, 2026

Stars +7 in 54 days

Forks +2 in 54 days

Merged PRs 13 in 54 days

Trendshift Trendingwhere the repository ranked each day it made the top 25

Top 25 in Rocq Prover

96918119463156410124

Aug 17Aug 24Aug 31Sep 7Sep 14Sep 21Sep 28Oct 5

Stars, forks, merged pull requests and Trendshift Trending rank, by day
Day	Stars gained	Forks gained	Merged PRs	Rocq Prover
Mon, Aug 17, 2026	+0	+0	0	#9
Tue, Aug 18, 2026	+0	+0	3	#6
Wed, Aug 19, 2026	+0	+0	1	#9
Thu, Aug 20, 2026	+1	+1	2	#1
Fri, Aug 21, 2026	No figure	No figure	No figure	Not trending
Sat, Aug 22, 2026	No figure	No figure	No figure	Not trending
Sun, Aug 23, 2026	No figure	No figure	No figure	Not trending
Mon, Aug 24, 2026	+0	+0	1	#8
Tue, Aug 25, 2026	No figure	No figure	No figure	Not trending
Wed, Aug 26, 2026	+0	+0	1	#11
Thu, Aug 27, 2026	+0	+0	2	#9
Fri, Aug 28, 2026	No figure	No figure	No figure	Not trending
Sat, Aug 29, 2026	No figure	No figure	No figure	Not trending
Sun, Aug 30, 2026	No figure	No figure	No figure	Not trending
Mon, Aug 31, 2026	No figure	No figure	No figure	Not trending
Tue, Sep 1, 2026	No figure	No figure	No figure	Not trending
Wed, Sep 2, 2026	+1	+0	0	#4
Thu, Sep 3, 2026	No figure	No figure	No figure	Not trending
Fri, Sep 4, 2026	No figure	No figure	No figure	Not trending
Sat, Sep 5, 2026	No figure	No figure	No figure	Not trending
Sun, Sep 6, 2026	+0	+0	0	#6
Mon, Sep 7, 2026	No figure	No figure	No figure	Not trending
Tue, Sep 8, 2026	No figure	No figure	No figure	Not trending
Wed, Sep 9, 2026	No figure	No figure	No figure	Not trending
Thu, Sep 10, 2026	No figure	No figure	No figure	Not trending
Fri, Sep 11, 2026	No figure	No figure	No figure	Not trending
Sat, Sep 12, 2026	No figure	No figure	No figure	Not trending
Sun, Sep 13, 2026	No figure	No figure	No figure	Not trending
Mon, Sep 14, 2026	+1	+0	0	#3
Tue, Sep 15, 2026	No figure	No figure	No figure	Not trending
Wed, Sep 16, 2026	No figure	No figure	No figure	Not trending
Thu, Sep 17, 2026	+0	+0	0	#15
Fri, Sep 18, 2026	+0	+1	1	#6
Sat, Sep 19, 2026	No figure	No figure	No figure	Not trending
Sun, Sep 20, 2026	No figure	No figure	No figure	Not trending
Mon, Sep 21, 2026	No figure	No figure	No figure	Not trending
Tue, Sep 22, 2026	+1	+0	0	#4
Wed, Sep 23, 2026	+0	+0	1	#10
Thu, Sep 24, 2026	No figure	No figure	No figure	Not trending
Fri, Sep 25, 2026	No figure	No figure	No figure	Not trending
Sat, Sep 26, 2026	No figure	No figure	No figure	Not trending
Sun, Sep 27, 2026	+1	+0	0	#1
Mon, Sep 28, 2026	+1	+0	1	#2
Tue, Sep 29, 2026	No figure	No figure	No figure	Not trending
Wed, Sep 30, 2026	No figure	No figure	No figure	Not trending
Thu, Oct 1, 2026	No figure	No figure	No figure	Not trending
Fri, Oct 2, 2026	No figure	No figure	No figure	Not trending
Sat, Oct 3, 2026	No figure	No figure	No figure	Not trending
Sun, Oct 4, 2026	No figure	No figure	No figure	Not trending
Mon, Oct 5, 2026	No figure	No figure	No figure	Not trending
Tue, Oct 6, 2026	No figure	No figure	No figure	Not trending
Wed, Oct 7, 2026	No figure	No figure	No figure	Not trending
Thu, Oct 8, 2026	No figure	No figure	No figure	Not trending
Fri, Oct 9, 2026	+1	+0	0	#4
Total	+7	+2	13

#1 on the list
Rank that day
Not trending

Momentum

Activity and trending

Achievements

Trendshift Trending

Daily

Weekly

Monthly

You might also like

You might also like

UniMath/UniMath

leanprover-community/mathlib4

jrh13/hol-light

HoTT/Coq-HoTT

rocq-prover/rocq

leanprover/cslib

jwiegley/category-theory

openai/math

leanprover-community/physlib