dafny-lang's tracked open-source repos, sorted by stars.
Dafny is a verification-aware programming language
