3 ms·

So, just to clarify...is this a port of the venerable Python lexer generator called Plex? https://pypi.python.org/pypi/plex/ https://pypi.python.org/pypi/plex/