TrendingRisingGemsRadarToolboxKitsNewsCategoriesAbout

Repository

verus-lang/verus

Verified Rust for low-level systems code

Open source Developer tools RustMIT

Stars

3.5k

Today

+16

last 24 hours

This week

+73

Forks

243

Clone

git clone https://github.com/verus-lang/verus.git

Star growth

2026-10-22: +82026-10-23: +262026-10-24: +122026-10-25: +72026-10-26: +202026-10-27: +16 (today so far)2026-10-22todaymax +26/day
Stars gained per day since 2026-10-22; the lighter bar is today so far.
Created
2021-10-19
Last commit
2026-10-22
Gained since tracking
+73

Similar in Developer tools

Updated Tue, 27 Oct 2026 05:10:49 GMT · description from the project itself