Achievements
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
dafny-lang/dafny has been featured on GitHub Trending, first reaching #10 on Apr 25, 2024
Trendshift Trending
dafny-lang/dafny has trended on Trendshift's daily and weekly list
Daily
First achieved on 24th, Apr 2024 for C#
Weekly
First achieved in Week 17, 2024 for C#