LoCo

LoCo, originally short for Location Constraints, now represents a collection of tooling for designing and reasoning about parsing, formats, and computation in general.

The most modern tooling here is:

• optimal: tooling for on-demand, cached DAGs of computation
• pear: tooling for defining parsers based on document "regions"

Older work can be found in:

• locc: early efforts towards static format/parser reasoning

Acknowledgements

This material is based upon work supported by the Defense Advanced Research Projects Agency (DARPA) under Contract No. HR001119C0076.