dafny-lang की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
Dafny एक सत्यापन-जागरूक प्रोग्रामिंग भाषा है
