Veridise

Veridise/llzk-lib

Library for parsing, generating, and analyzing LLZK code.

20 stars 3 forks 20 watchers C++ Apache License 2.0
View on GitHub Website
1 Open Issue Need Help Last updated: Sep 16, 2025

Open Issues Need Help

View All on GitHub
Generalize `constrain.in` to allow N-dimensional values about 2 months ago
enhancement help wanted sync-to-jira llzk-245
Veridise/llzk-lib
20

Library for parsing, generating, and analyzing LLZK code.

C++