jrh13/hol-light

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 12, 2026

Stars +13 in 49 days

Forks +1 in 49 days

Merged PRs 6 in 49 days

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

Top 25 in OCaml

894915101015161

Aug 25Sep 1Sep 8Sep 15Sep 22Sep 29Oct 6

Stars, forks, merged pull requests and Trendshift Trending rank, by day
Day	Stars gained	Forks gained	Merged PRs	OCaml
Tue, Aug 25, 2026	+1	+0	0	#8
Wed, Aug 26, 2026	No figure	No figure	No figure	Not trending
Thu, Aug 27, 2026	+0	+1	0	Not trending
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	+1	+0	2	#9
Tue, Sep 1, 2026	+0	+0	1	Not trending
Wed, Sep 2, 2026	No figure	No figure	No figure	Not trending
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	No figure	No figure	No figure	Not trending
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	No figure	No figure	No figure	Not trending
Tue, Sep 15, 2026	+0	+0	1	Not trending
Wed, Sep 16, 2026	No figure	No figure	No figure	Not trending
Thu, Sep 17, 2026	+2	+0	1	#4
Fri, Sep 18, 2026	No figure	No figure	No figure	Not trending
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	No figure	No figure	No figure	Not trending
Wed, Sep 23, 2026	No figure	No figure	No figure	Not trending
Thu, Sep 24, 2026	+1	+0	0	#9
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	No figure	No figure	No figure	Not trending
Mon, Sep 28, 2026	No figure	No figure	No figure	Not trending
Tue, Sep 29, 2026	No figure	No figure	No figure	Not trending
Wed, Sep 30, 2026	+1	+0	0	#15
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	+1	+0	0	#10
Tue, Oct 6, 2026	+1	+0	0	#10
Wed, Oct 7, 2026	+1	+0	1	#15
Thu, Oct 8, 2026	+1	+0	0	#16
Fri, Oct 9, 2026	+2	+0	0	#1
Sat, Oct 10, 2026	No figure	No figure	No figure	Not trending
Sun, Oct 11, 2026	No figure	No figure	No figure	Not trending
Mon, Oct 12, 2026	+1	+0	0	Not trending
Total	+13	+1	6

#1 on the list
Rank that day
Not trending

Momentum

Activity and trending

Achievements

Trendshift Trending

Daily

Weekly

You might also like

You might also like

rocq-prover/rocq

leanprover-community/mathlib4

math-comp/math-comp

litexlang/golitex

Z3Prover/z3

leanprover/lean4

UniMath/UniMath

lean-dojo/LeanCopilot

leanprover/cslib