GitHub repository: rocq-community/parseque
Primary language: Rocq Prover
Description: Total Parser Combinators in Coq [maintainer=@womeier]