GitHub repository: proofengineering/regmatch
Primary language: Coq
Description: Certified regular expression matcher in Coq