Trendshift snapshots GitHub's daily Trending list and runs its own trending list. The dynamic badges below mark the best position this repository has reached on each platform. They refresh automatically as its position climbs

GitHub Trending

verus-lang/verus has been featured on GitHub Trending, first reaching #6 on May 6, 2024

Embed Badge

Trendshift Trending

verus-lang/verus has trended on Trendshift's daily, weekly and monthly list

Daily

First achieved on 5th, May 2024 for Rust

Embed Badge

First achieved on 5th, May 2024 across all languages