github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
Code Issues Projects Releases Wiki Activity
ZoKrates/zokrates_parser
History
schaeff 70dff669ea Merge branch 'develop' of github.com:Zokrates/ZoKrates into continue-nova-and-compress
2023-04-21 23:23:47 +02:00
..
src Build with stable rust (#1288) 2023-04-13 17:26:01 +02:00
Cargo.toml Merge branch 'develop' of github.com:Zokrates/ZoKrates into continue-nova-and-compress 2023-04-21 23:23:47 +02:00
README.md clean 2019-06-07 18:06:46 +02:00

README.md

zokrates_parser

Formal grammar specification of the ZoKrates DSL in PEG (Pest).