GitHub repository: zksecurity/pumice
Primary language: Rust
Description: An API compatible port of the Stone prover.