GitHub repository: 3MI-Labs/sp1
Primary language: Rust
Description: Fork of succinctlabs/sp1 for analysis and documentation.