विषय · tlaplus
tlaplus
tlaplus टैग वाली ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
रिपॉजिटरी
5
कुल स्टार
4,928
औसत स्टार
986
हिस्सा
0.00%
मिलते-जुलते विषय
वे विषय जो अक्सर एक ही रिपॉजिटरी पर tlaplus के साथ आते हैं।
हाल में उभरे
पिछले 90 दिनों में बनी और tlaplus टैग वाली रिपॉजिटरी।
पिछले 90 दिनों में इस विषय के टैग वाली कोई नई रिपॉजिटरी नहीं आई।
- #1
एक्शन के टेम्पोरल लॉजिक (TLA) पर आधारित शानदार टूलिंग के साथ एक निष्पादित विशिष्टता भाषा
★ 1,654+12पिछले 7 दिनों में स्टार का बदलाव - #2★ 1,564+5पिछले 7 दिनों में स्टार का बदलाव
- #3
उद्योग में औपचारिक सत्यापन विधियों (formal methods) का उपयोग करने वाली कंपनियों की एक क्यूरेटेड सूची
★ 610+1पिछले 7 दिनों में स्टार का बदलाव - #4★ 596+2पिछले 7 दिनों में स्टार का बदलाव
- #5
"Weeks of debugging can save you hours of TLA+" ट्यूटोरियल। प्रत्येक git कमिट एक नई अवधारणा पेश करता है => git इतिहास देखें!
★ 506+0पिछले 7 दिनों में स्टार का बदलाव
