Explore projects

The Modest Toolset

Source code used in the Programming 2 lecture

An implementation of the buffer protocol for unicode strings.

A Python wrapper around the Oniguruma regular expression library.

The JANI front-end module for the LTSmin toolset