GitHub repository: AztecProtocol/powdr
Primary language: Rust
Description: an extended polynomial identity language (PIL) in rust