idris-lang/Idris2

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

Stars +55 in 60 days

Forks +14 in 60 days

Merged PRs 12 in 60 days

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

Top 25 in Idris

111111111111111111111122111111111111111111111111121

Aug 14Aug 22Aug 30Sep 7Sep 15Sep 23Oct 1Oct 9

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

#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

agda/agda

flix/flix

koka-lang/koka

roc-lang/roc

unisonweb/unison

FStarLang/FStar

reasonml/reason

scalaz/scalaz

gleam-lang/gleam