boogie-org/boogie

Activity and trending

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

Aug 19 – Oct 12, 2026

Stars +6 in 55 days

Forks +3 in 55 days

Merged PRs 12 in 55 days

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

Top 25 in Boogie

111111111111

Aug 19Aug 26Sep 2Sep 9Sep 16Sep 23Sep 30Oct 7

Stars, forks, merged pull requests and Trendshift Trending rank, by day
Day	Stars gained	Forks gained	Merged PRs	Boogie
Wed, Aug 19, 2026	+0	+0	1	Not trending
Thu, Aug 20, 2026	+0	+0	2	Not trending
Fri, Aug 21, 2026	+0	+0	1	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	0	#1
Tue, Aug 25, 2026	+1	+0	0	#1
Wed, Aug 26, 2026	No figure	No figure	No figure	Not trending
Thu, Aug 27, 2026	No figure	No figure	No figure	Not trending
Fri, Aug 28, 2026	+1	+0	0	#1
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	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	+0	+0	0	#1
Mon, Sep 7, 2026	+1	+0	0	#1
Tue, Sep 8, 2026	+0	+1	0	#1
Wed, Sep 9, 2026	No figure	No figure	No figure	Not trending
Thu, Sep 10, 2026	+0	+1	0	#1
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	No figure	No figure	No figure	Not trending
Wed, Sep 16, 2026	+1	+0	0	#1
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	No figure	No figure	No figure	Not trending
Sun, Sep 20, 2026	+0	+0	7	#1
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	No figure	No figure	No figure	Not trending
Fri, Sep 25, 2026	No figure	No figure	No figure	Not trending
Sat, Sep 26, 2026	+0	+1	0	#1
Sun, Sep 27, 2026	No figure	No figure	No figure	Not trending
Mon, Sep 28, 2026	+2	+0	0	#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	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	+0	+0	1	#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	+0	+0	0	Not trending
Total	+6	+3	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

dafny-lang/dafny

esbmc/esbmc

FStarLang/FStar

runtimeverification/k

verifast/verifast

GaloisInc/saw-script

PrincetonUniversity/VST

astrio-labs/forall-mcp

Z3Prover/z3