The JANI front-end module for the LTSmin toolset
A Python wrapper around the Oniguruma regular expression library.
An implementation of the buffer protocol for unicode strings.
The Modest Toolset