Stars
A massively parallel, high-level programming language
A modern and transparent way to use Windows VST2, VST3 and CLAP plugins on Linux
Very unoptimized variable sha256 compatible with halo2-lib v4
A STARK-based VM focused on code reuse, performance, and modularity
A modular stack for zkVMs, with a focus on productivity, security and performance.
ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)