New
Unclaimed project
Are you a maintainer of JSTprove? Claim this project to take control of your public changelog and roadmap.
Changelog
JSTprove
Introduce process_for_witness with per-input scaling from quantized model, wandb_path parameter for piped witness/verify, circuit metadata bundling into msgpack compiled format
An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.
Empowering everyone to build reliable and efficient software.
Build smaller, faster, and more secure desktop and mobile applications with a web frontend.
A modern runtime for JavaScript and TypeScript.