The fastest pure-Python PEG parser I could muster
