Explore projects

The Modest Toolset

Source code used in the Programming 2 lecture

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.