GitHub repository: tydeu/lean4-partax
Primary language: Lean
Description: Lean 4 library of tools for parsing and compiling syntax and parser definitions.