मुख्य सामग्री पर जाएँ
buildradar
Sign in
विषय · proofs

proofs

proofs टैग वाली ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।

रिपॉजिटरी
3
कुल स्टार
3,413
औसत स्टार
1,138
हिस्सा
0.00%

वे विषय जो अक्सर एक ही रिपॉजिटरी पर proofs के साथ आते हैं।

हाल में उभरे

पिछले 90 दिनों में बनी और proofs टैग वाली रिपॉजिटरी।

पिछले 90 दिनों में इस विषय के टैग वाली कोई नई रिपॉजिटरी नहीं आई।

  • Java, Python, Mathematica, Haskell में Project Euler समस्याओं को हल करने के लिए निष्पादित करने योग्य कोड।

    1,959-1पिछले 7 दिनों में स्टार का बदलाव
  • aeneas@AeneasVerif

    Rust प्रोग्राम्स के लिए एक सत्यापन टूलचेन

    948+17पिछले 7 दिनों में स्टार का बदलाव
  • karamel@FStarLang

    KaRaMeL, कम-स्तरीय F* प्रोग्रामों को पठनीय C कोड में निकालने का एक टूल है

    518+0पिछले 7 दिनों में स्टार का बदलाव
← विषयों पर वापस