GitHub repository: sausaging/jugalbandi
Primary language: Rust
Description: Server-side implementation that incorporates verification for RISC0, Miden VM, SP1