Repositori open source terpantau milik dafny-lang, diurutkan berdasarkan bintang.
Dafny adalah bahasa pemrograman yang sadar verifikasi
