ProvableHQ/leo
@ProvableHQ🦁 The Leo Programming Language. फॉर्मली वेरिफ़ाइड, ज़ीरो-नॉलेज एप्लिकेशन के लिए एक प्रोग्रामिंग भाषा
स्टार
4,821
फ़ोर्क
715
भाषा
Rust
लाइसेंस
GPL-3.0
आख़िरी push
3 सप्ताह पहले
संबंधित intel (0)
अभी कोई संबंधित intel नहीं
यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।