GitHub repository: nittaya1990/coq-parsec
Description: Monadic parser combinator library in Coq