Explore projects

WIP code for instrumenting a perf trace with parser names

parser-combinator -> gateware flow targeting regular languages

tool for exploring file formats and testbed for Hammer ideas

Parseque mirror & fixes for current Coq