मुख्य सामग्री पर जाएँ
buildradar
साइन इन करें

o1-labs/snarky

@o1-labs

सत्यापन योग्य गणना (verifiable computation) के लिए OCaml DSL

स्टार
507
फ़ोर्क
85
भाषा
OCaml
लाइसेंस
MIT
आख़िरी push
1 माह पहले
OCaml

अभी कोई संबंधित intel नहीं

यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।