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...
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...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
skolemlabs/ppx_expjs | OCamlJavaScriptStandard ML | 10 | 0 | 0 | 0 |
ocaml-multicore/lockfree | OCamlOther | 141 | 0 | 25 | 0 |
smartcoop/design | PugSCSSJavaScript | 5 | 0 | 1 | 0 |
RockChinQ/QChatGPT | PythonDockerfile | 3k | 0 | 245 | 0 |
ironhack-labs/lab-vue-tweets | VueHTMLJavaScript | 0 | 0 | 129 | 0 |
ThePrimeagen/init.lua | LuaShell | 2.3k | 0 | 466 | 0 |
ineffyble/genders.wtf | NunjucksJavaScriptCSS | 58 | 0 | 30 | 0 |
passbolt/passbolt_api | PHPJavaScriptShell | 4k | +14 | 285 | -2 |
ONSdigital/ssdc-rm-ddl | PLpgSQLJavaPython | 0 | 0 | 0 | 0 |
aws-samples/hardeneks | PythonShell | 754 | +5 | 75 | 0 |