Scallion
A library for writing parsers and pretty printers for LL(1) languages in Scala.
Scallion is a combinator-based library for constructing LL(1) parsers and pretty printers in Scala, using a zipper-based parsing-with-derivatives algorithm for efficient and predictable parsing. A single grammar definition drives both directions, guaranteeing consistency between parsing and printing.
Development
- Research papers
- Technical
Lab for Automated Reasoning and Analysis
Lab for Automated Reasoning and Analysis
We develop precise automated reasoning techniques: tools, algorithms and languages. The goal of these techniques is to help construction of verified computer systems.
This page was last edited on 2024-04-12.
This page was last edited on 2024-04-12.