AeneasVerif/aeneas

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

Stars +129 in 61 days

Forks +30 in 61 days

Merged PRs 86 in 61 days

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

Top 25 in OCaml

514257315192131224177321591833214376431231112105131518562451101

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	OCaml
Fri, Aug 14, 2026	+2	+1	0	#5
Sat, Aug 15, 2026	+1	+1	0	#14
Sun, Aug 16, 2026	+3	+0	0	#2
Mon, Aug 17, 2026	+2	+0	0	#5
Tue, Aug 18, 2026	+2	+1	1	#7
Wed, Aug 19, 2026	+3	+0	5	#3
Thu, Aug 20, 2026	+1	+1	1	#15
Fri, Aug 21, 2026	+0	+1	3	#19
Sat, Aug 22, 2026	+0	+0	0	Not trending
Sun, Aug 23, 2026	+0	+1	0	#21
Mon, Aug 24, 2026	+3	+0	5	#3
Tue, Aug 25, 2026	+1	+1	1	#12
Wed, Aug 26, 2026	+0	+0	7	Not trending
Thu, Aug 27, 2026	+4	+0	6	#2
Fri, Aug 28, 2026	+0	+0	4	Not trending
Sat, Aug 29, 2026	+2	+0	1	#4
Sun, Aug 30, 2026	+1	+0	0	#17
Mon, Aug 31, 2026	+3	+0	0	#7
Tue, Sep 1, 2026	+0	+0	1	Not trending
Wed, Sep 2, 2026	+4	+0	2	#3
Thu, Sep 3, 2026	+5	+0	9	#2
Fri, Sep 4, 2026	+2	+0	0	#15
Sat, Sep 5, 2026	No figure	No figure	No figure	Not trending
Sun, Sep 6, 2026	+2	+1	1	#9
Mon, Sep 7, 2026	+1	+0	2	#18
Tue, Sep 8, 2026	+3	+2	4	#3
Wed, Sep 9, 2026	+4	+0	0	#3
Thu, Sep 10, 2026	+3	+0	0	#2
Fri, Sep 11, 2026	+1	+0	0	#14
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	+4	+0	0	#3
Wed, Sep 16, 2026	+2	+0	1	#7
Thu, Sep 17, 2026	+2	+1	1	#6
Fri, Sep 18, 2026	+3	+0	0	#4
Sat, Sep 19, 2026	No figure	No figure	No figure	Not trending
Sun, Sep 20, 2026	+2	+1	0	#3
Mon, Sep 21, 2026	+2	+0	1	#12
Tue, Sep 22, 2026	+3	+0	0	#3
Wed, Sep 23, 2026	+6	+0	2	#1
Thu, Sep 24, 2026	+0	+0	2	Not trending
Fri, Sep 25, 2026	+4	+3	6	#1
Sat, Sep 26, 2026	+2	+0	0	#12
Sun, Sep 27, 2026	+2	+1	0	#10
Mon, Sep 28, 2026	+4	+0	1	#5
Tue, Sep 29, 2026	+2	+0	1	#13
Wed, Sep 30, 2026	+0	+0	3	Not trending
Thu, Oct 1, 2026	+4	+0	5	#1
Fri, Oct 2, 2026	+3	+0	0	#5
Sat, Oct 3, 2026	+1	+1	0	#18
Sun, Oct 4, 2026	+3	+0	0	#5
Mon, Oct 5, 2026	+2	+2	0	#6
Tue, Oct 6, 2026	+1	+0	5	#24
Wed, Oct 7, 2026	+3	+1	0	#5
Thu, Oct 8, 2026	+6	+1	3	#1
Fri, Oct 9, 2026	+2	+0	0	#10
Sat, Oct 10, 2026	+8	+3	0	#1
Sun, Oct 11, 2026	+0	+1	0	Not trending
Mon, Oct 12, 2026	+4	+4	2	Not trending
Tue, Oct 13, 2026	+1	+1	0	Not trending
Total	+129	+30	86

#1 on the list
Rank that day
Not trending

Momentum

Activity and trending

Mentions and achievements

You might also like

You might also like

formal-land/rocq-of-rust

cryspen/hax

creusot-rs/creusot

verus-lang/verus

prusti/prusti

verifast/verifast

model-checking/kani

ferrocene/ferrocene

GaloisInc/saw-script