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

formal-semantics

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

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

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

हाल में उभरे

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

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

  • cakeml@CakeML

    CakeML: ML का एक सत्यापित कार्यान्वयन

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