मालिक · jepsen-io

jepsen-io

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

3 रिपॉजिटरी

#1
jepsen ↗@jepsen-ioClojure
फॉल्ट इंजेक्शन के साथ डिस्ट्रिब्यूटेड सिस्टम वेरिफिकेशन के लिए एक फ्रेमवर्क।
★ 7,485+5पिछले 7 दिनों में स्टार का बदलाव
#2
maelstrom ↗@jepsen-ioClojure
वितरित प्रणालियों के टॉय इम्प्लीमेंटेशन लिखने के लिए एक वर्कबेंच।
★ 3,671+3पिछले 7 दिनों में स्टार का बदलाव
#3
elle ↗@jepsen-ioIsabelle
साइकिल डिटेक्शन पर आधारित ब्लैक-बॉक्स ट्रांजेक्शनल सेफ्टी चेकर
★ 702-1पिछले 7 दिनों में स्टार का बदलाव