GitHub repository: JamesGallicchio/Megaparsec.lean
Description: Lean 4 port of Megaparsec