typed-peg (racket): A parsing expression grammar library that uses a type inference algorithm to ensure termination of the parsing process.
Keywords: parsing|PEG