dafny-lang/dafny — GitHub trending stats & insights

Featured

dafny-lang/dafny

Dafny is a verification-aware programming language

3.5k

310

105 contributors

Custom license

Achievements

Trendshift snapshots GitHub's daily Trending list and runs its own trending list

dafny-lang/dafny has been featured on GitHub Trending, first reaching #10 on Apr 25, 2024

dafny-lang/dafny has trended on Trendshift's daily and weekly list

First achieved on 24th, Apr 2024 for C#

First achieved in Week 17, 2024 for C#