This is stars and forks stats for /NilFoundation/zkllvm repository. As of 03 May, 2024 this repository has 155 stars and 16 forks.
zkLLVM Circuit Compiler zkLLVM is a compiler from high-level programming languages into an input for provable computations protocols. It can be used to generate input for any arbitrary zero-knowledge proof system or protocol, which accepts input data in form of algebraic circuits It assumed to be used together with Placeholder proof system or any other arithmetization compatible with Placeholder proof system. Every proof output from zkLLVM is an in-EVM verifiable one through the Proof Market. Use...
zkLLVM Circuit Compiler zkLLVM is a compiler from high-level programming languages into an input for provable computations protocols. It can be used to generate input for any arbitrary zero-knowledge proof system or protocol, which accepts input data in form of algebraic circuits It assumed to be used together with Placeholder proof system or any other arithmetization compatible with Placeholder proof system. Every proof output from zkLLVM is an in-EVM verifiable one through the Proof Market. Use...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| KRTirtho/flemozi | DartC++CMake | 134 | 0 | 4 | 0 |
| Thelema-SS/Thelema-STG | DMJavaScriptTypeScript | 0 | 0 | 3 | 0 |
| ome/devspace | ShellDockerfilePython | 17 | 0 | 20 | 0 |
| formosa-crypto/libjade | eCCMakefile | 33 | 0 | 11 | 0 |
| arttoolkit/arttoolkit.github.io | HTMLSCSSPython | 219 | 0 | 25 | 0 |
| alibaba/otter | JavaJavaScriptCSS | 7.8k | 0 | 2.5k | 0 |
| Doikki/DKVideoPlayer | JavaKotlinShell | 4.7k | 0 | 1k | 0 |
| port19x/redqu | ClojureShell | 21 | 0 | 1 | 0 |
| DavidS/dasz-configuration | PuppetHTMLPerl | 2 | 0 | 1 | 0 |
| visual-openllm/visual-openllm | PythonMakefile | 1.1k | 0 | 145 | 0 |