मालिक · ProvableHQ

ProvableHQ

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

4 रिपॉजिटरी

#1
leo ↗@ProvableHQRust
🦁 The Leo Programming Language. फॉर्मली वेरिफ़ाइड, ज़ीरो-नॉलेज एप्लिकेशन के लिए एक प्रोग्रामिंग भाषा
★ 4,821+0पिछले 7 दिनों में स्टार का बदलाव
#2
snarkOS ↗@ProvableHQRust
ZK ऐप्लीकेशन के लिए एक विकेन्द्रीकृत ऑपरेटिंग सिस्टम
★ 4,524-2पिछले 7 दिनों में स्टार का बदलाव
#3
snarkVM ↗@ProvableHQRust
विकेंद्रीकृत निजी गणनाओं (DPC) के लिए एक zkVM।
★ 1,163+0पिछले 7 दिनों में स्टार का बदलाव
#4
sdk ↗@ProvableHQTypeScript
जीरो-नॉलेज एप्लिकेशन डेवलपमेंट के लिए Javascript और Typescript SDK।
★ 633+0पिछले 7 दिनों में स्टार का बदलाव