Parser Generation
3 projects
Showing 3 of 3 projects
FiatRocq Prover
A Coq library for deductive synthesis of correct-by-construction abstract data types and parsers.
#correct-by-construction#coq#automated-reasoning
Stars157
Forks34
Last commit15 days ago
ada-lspAda
An implementation of the Language Server Protocol for the Ada programming language, enabling IDE features like auto-complete and goto definition.
#vscode-extension#ide-integration#ada
Stars12
Forks2
Last commit8 years ago
anagramAda
An Ada library for grammar handling, parser generation, and working with BNF, EBNF, and attributed grammars.
#parsing#ada-library#grammar-handling
Stars5
Forks1
Last commit5 years ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.