GitHub repository: powdr-org/powdr
Primary language: Rust
Description: A modular stack for zkVMs, with a focus on productivity, security and performance.