verse-lab/toychain

यह क्या करता है

verse-lab/toychain एक सार्वजनिक GitHub रिपॉज़िटरी है, मुख्य रूप से Coq में। आखिरी सहेजे गए स्नैपशॉट में 113 स्टार और 12 फ़ोर्क दर्ज हैं। विषय: blockchain, consensus, coq, distributed systems। सॉफ़्टवेयर इस्तेमाल करने से पहले दस्तावेज़, लाइसेंस और मौजूदा इश्यू पढ़ लो।

A minimalistic blockchain consensus implemented and verified in Coq

GitHub रिपॉज़िटरी

सितारे

113

बढ़े सितारे · 7 दिन

—

फ़ोर्क

12

मुख्य प्रोग्रामिंग भाषा

Coq

रिपॉज़िटरी लाइसेंस

BSD-2-Clause

आखिरी कोड पुश

13 अप्रैल 2020

लोकप्रियता GitHub सितारों से है। 7 दिन की वृद्धि पूरे हफ़्ते के स्थानीय डेटा बाद दिखती है। यह GitHub की आधिकारिक ट्रेंडिंग सूची नहीं।

स्रोत और डेटा की ताज़गी

आयातित प्रविष्टियाँ स्रोत से जुड़ी हैं। सूची में होना समर्थन नहीं है।