GitHub repository: JacobEberhardt/ZoKratesGrammarSpecPEG
Primary language: Rust
Description: Formal grammar specification of the ZoKrates DSL in PEG (Pest)