GitHub repository: michalpalkowski/swiftness-prover
Primary language: Rust
Description: Cairo-VM STARK Verifier Rust implementation