o1-labs की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
zk-SNARKs और zkApps के लिए TypeScript फ्रेमवर्क
सत्यापन योग्य गणना (verifiable computation) के लिए OCaml DSL
