GitHub repository: trangnv/chiquito
Primary language: Rust
Description: DSL for Halo2 circuits