o1-labs/snarky

OCaml DSL for verifiable computation

OCamlJavaScriptCSSSageShellDockerfileMakefile
This is stars and forks stats for /o1-labs/snarky repository. As of 25 Apr, 2024 this repository has 462 stars and 72 forks.

snarky snarky is an OCaml front-end for writing R1CS SNARKs. It is modular over the backend SNARK library, and comes with backends from libsnark. Disclaimer: This code has not been thoroughly audited and should not be used in production systems. CAVEAT This repository contains a substantial amount of obsolete code. Earlier versions of the Mina project (the primary user of this code) used the C/C++ backend implemented in src/; most of that code is no longer used. The exceptions are src/intf and src/base. snarky Getting...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
skolemlabs/ppx_expjsOCamlJavaScriptStandard ML10000
ocaml-multicore/lockfreeOCamlOther1410250
smartcoop/designPugSCSSJavaScript5010
RockChinQ/QChatGPTPythonDockerfile3k02450
ironhack-labs/lab-vue-tweetsVueHTMLJavaScript001290
ThePrimeagen/init.luaLuaShell2.3k04660
ineffyble/genders.wtfNunjucksJavaScriptCSS580300
passbolt/passbolt_apiPHPJavaScriptShell4k+14285-2
ONSdigital/ssdc-rm-ddlPLpgSQLJavaPython0000
aws-samples/hardeneksPythonShell754+5750