This is stars and forks stats for /powdr-labs/powdr repository. As of 10 May, 2024 this repository has 218 stars and 26 forks.
powdr WARNING: This codebase is experimental and has not been audited. DO NOT USE FOR PRODUCTION! For detailed documentation please visit the powdr book. powdr is a toolkit that helps build zkVMs and similar proof frameworks. It has two main components: powdr-asm: an extensible assembly IR language to perform dynamic executions. powdr-PIL: a low level constraint language that allows you to define arithmetic constraints, lookups, etc. Both frontend and backend are highly flexible. As an example, powdr...
powdr WARNING: This codebase is experimental and has not been audited. DO NOT USE FOR PRODUCTION! For detailed documentation please visit the powdr book. powdr is a toolkit that helps build zkVMs and similar proof frameworks. It has two main components: powdr-asm: an extensible assembly IR language to perform dynamic executions. powdr-PIL: a low level constraint language that allows you to define arithmetic constraints, lookups, etc. Both frontend and backend are highly flexible. As an example, powdr...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
rothiotome/numerica-twitch | ShaderLabC#HLSL | 35 | 0 | 14 | 0 |
NoeBrt/Galaxy-Simulation | ShaderLabC#HLSL | 19 | 0 | 3 | 0 |
interkosmos/xroach | CRoffCMake | 65 | 0 | 3 | 0 |
YSGStudyHards/DotNetGuide | C# | 2.7k | 0 | 487 | 0 |
tihmstar/libpatchfinder | C++CMakefile | 127 | 0 | 72 | 0 |
CogniPilot/synapse_msgs | CMake | 0 | 0 | 0 | 0 |
tacshooter/ffc | ColdFusion | 0 | 0 | 0 | 0 |
quil-lang/quilc | Common LispNewLispMakefile | 433 | 0 | 70 | 0 |
breatheco-de/breatheco-de | CSSJavaScriptSCSS | 354 | +10 | 2.4k | 0 |
acalejos/exgboost | ElixirCMakefile | 122 | 0 | 5 | 0 |