GitHub repository: slasser/CoStar
Primary language: Python
Description: A parser based on the ALL(*) algorithm, implemented and verified in Coq.