The grammar-combinators package

The grammar-combinators library is a novel parsing library using
an explicit representation of recursion to provide various novel
features, for grammar analysis, transformation and parsing
functionality.