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

smt

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

रिपॉजिटरी
9
कुल स्टार
10,082
औसत स्टार
1,120
हिस्सा
0.00%

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

हाल में उभरे

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

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

  • FStar@FStarLang

    एक प्रूफ-ओरिएंटेड प्रोग्रामिंग लैंग्वेज

    3,103+4पिछले 7 दिनों में स्टार का बदलाव
  • liquidhaskell@ucsd-progsys

    Haskell के लिए लिक्विड टाइप्स

    1,334+1पिछले 7 दिनों में स्टार का बदलाव
  • py2many@py2many

    Python को कई अन्य भाषाओं में बदलने वाला ट्रांसपाइलर

    1,308+0पिछले 7 दिनों में स्टार का बदलाव
  • alive2@AliveToolkit

    LLVM अनुकूलन (optimizations) का स्वचालित सत्यापन

    1,163+2पिछले 7 दिनों में स्टार का बदलाव
  • jlcparts@yaqwsx

    JLC PCB असेंबली के लिए उपलब्ध घटकों की बेहतर पैरामीट्रिक खोज

    823+6पिछले 7 दिनों में स्टार का बदलाव
  • pysmt@pysmt

    pySMT: SMT फॉर्मूला मैनिपुलेशन और सॉल्विंग के लिए एक लाइब्रेरी

    638+0पिछले 7 दिनों में स्टार का बदलाव
  • apalache@apalache-mc

    APALACHE: TLA+ और Quint के लिए प्रतीकात्मक मॉडल चेकर

    596+3पिछले 7 दिनों में स्टार का बदलाव
  • stp@stp

    Simple Theorem Prover, bitvectors, floating-point और arrays के लिए एक कुशल SMT solver।

    588+1पिछले 7 दिनों में स्टार का बदलाव
  • z3.rs@prove-rs

    Z3 solver के लिए Rust बाइंडिंग्स।

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