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