aya-prover/project-generator

Generates a project with Aya infrastructure and Grammar-Kit parsing setup.

GitHub repository with 5 stars and 1 forks.

Open provider repository