विषय · verification
verification
verification टैग वाली ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
40 रिपॉजिटरी
- #31
आर्काइव/स्थानांतरित: कृपया नए स्थान पर जाएं
★ 704+0पिछले 7 दिनों में स्टार का बदलाव - #32
CreuSAT - Rust में लिखा गया और Creusot के साथ सत्यापित एक औपचारिक रूप से सत्यापित SAT सॉल्वर।
★ 698+2पिछले 7 दिनों में स्टार का बदलाव - #33★ 686+0पिछले 7 दिनों में स्टार का बदलाव
- #34★ 638+0पिछले 7 दिनों में स्टार का बदलाव
- #35
मुफ्त और ओपन सोर्स हार्डवेयर सत्यापन उपकरणों और फ्रेमवर्क्स की एक सूची
★ 622+1पिछले 7 दिनों में स्टार का बदलाव - #36★ 596+3पिछले 7 दिनों में स्टार का बदलाव
- #37★ 588+1पिछले 7 दिनों में स्टार का बदलाव
- #38
Witness सॉफ्टवेयर सप्लाई चेन जोखिम प्रबंधन के लिए एक प्लगेबल फ्रेमवर्क है। यह सॉफ्टवेयर आर्टिफैक्ट प्रोवेनेंस को स्वचालित, सामान्यीकृत और सत्यापित करता है।
★ 546+0पिछले 7 दिनों में स्टार का बदलाव - #39★ 518+0पिछले 7 दिनों में स्टार का बदलाव
- #40★ 508+1पिछले 7 दिनों में स्टार का बदलाव
