GitHub repository: zhenfeizhang/Expander-rs
Primary language: Rust
Description: Expander, an open-source GKR prover designed for scaling large-scale parallel computing.