प्रोग्रामिंग भाषा · TLA
TLA
ट्रैक की गई वे ओपन सोर्स रिपॉजिटरी जिनकी मुख्य भाषा TLA है, स्टार के हिसाब से क्रमबद्ध।
3 रिपॉजिटरी
- #1Examples@tlaplus
विभिन्न जटिलताओं के TLA⁺ विनिर्देशों का एक संग्रह।
★ 1,558+2पिछले 7 दिनों में स्टार का बदलाव - #2raft.tla@ongardie
Raft सर्वसम्मति एल्गोरिदम के लिए TLA+ विनिर्देश
★ 523+2पिछले 7 दिनों में स्टार का बदलाव - #3BlockingQueue@lemmy
"Weeks of debugging can save you hours of TLA+" ट्यूटोरियल। प्रत्येक git कमिट एक नई अवधारणा पेश करता है => git इतिहास देखें!
★ 505+1पिछले 7 दिनों में स्टार का बदलाव
