GitHub repository: ANSSI-FR/coq-comparse
Primary language: Coq
Created: 2019-12-18T09:39:41Z
Description: Your companion toolkit to write parsers with general-purpose combinators in Coq