verus-lang/verus

Verified Rust for low-level systems code

Rust3,636 stars259 forksMIT

Momentum

verus-lang/verus has 3,636 GitHub stars. It gained +26 stars over 2 recorded days in the last 7 days and +227 over 19 recorded days in the last 30 days (snapshots through Nov 11, 2026).

Its biggest recent day was Oct 28, 2026, with +28 stars.

It currently ranks #1506 daily, #1459 weekly, #1537 monthly by momentum on Trending Repos; its best-ever rank is #446.

Trending Repos first recorded it on May 15, 2026.

Rankings

PeriodRankScore

Daily

#15066.4

Weekly

#14597.2

Monthly

#15377.2

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #446

Format

Markdown

[![verus-lang/verus badge](https://trending-repos.com/badge/verus-lang/verus.svg?v=3)](https://trending-repos.com/repositories/verus-lang/verus?utm_source=github&utm_medium=badge)

Date	Stars gained	Total stars	Forks gained
Nov 8, 2026	+19	3,604	+1
Nov 5, 2026	+7	3,553	+1
Nov 2, 2026	+14	3,535	+1
Nov 1, 2026	+3	3,521	0
Oct 31, 2026	+11	3,518	+1
Oct 30, 2026	+12	3,507	0
Oct 29, 2026	+10	3,495	+1
Oct 28, 2026	+28	3,485	+1
Oct 27, 2026	+15	3,457	+2
Oct 26, 2026	+7	3,442	+2
Oct 25, 2026	+13	3,435	0
Oct 24, 2026	+25	3,422	0
Oct 23, 2026	+24	3,397	0
Oct 22, 2026	+9	3,373	0

verus-lang/verus

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

verus-lang/verus

Momentum

Rankings

Engagement

Similar trending repositories

Embeds