GitHub repository: lambdaclass/lambdaworks
Primary language: Rust
Description: lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.