Waypoints to the past and future of visual programming.

a magical LLM desktop client that makes it easy for *anyone* to use LLMs and MCP

A Swiss knife for Noir

Awesome Object Capabilities and Capability Security

🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs

Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group

Minimal Yul Transpilation to the Miden VM

ECFFT in Rust

STARK-based virtual machine