typped (pypi): A framework for generalized Pratt parsing which can optionally check simple types.
Keywords: parser