runtimeverification/evm-semantics

Activity and trending

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

Aug 24 – Oct 13, 2026

Stars +7 in 51 days

Forks +2 in 51 days

Merged PRs 9 in 51 days

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

Top 25 in KCL

122111221121

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

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

#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

a16z/halmos

vyperlang/vyper

w1nt3r-eth/evm-from-scratch

bluealloy/revm

runtimeverification/k

smartbugs/smartbugs

Jon-Becker/heimdall-rs

cdump/evmole

ethereumjs/ethereumjs-monorepo