uwplse की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
Coq में वितरित सिस्टम कार्यान्वयन को औपचारिक रूप से सत्यापित करने के लिए एक फ्रेमवर्क
