Explore projects

pseuCo.com

An object-oriented approach to regular expressions.

The Python toolbox for working with quantitative models.

A helper library for handwritten parsers.

A python script to translate Jani MDP models to PPDDL.

An implementation of the buffer protocol for unicode strings.

Additional material for the TAILOR 2020 paper "Towards Deep Statistical Model Checking"

CPrAA - A Checker for Probabilistic Abstract Argumentation

The JANI front-end module for the LTSmin toolset

A Python wrapper around the Oniguruma regular expression library.

A collection of utilities and helpers for writing Python programs.

Memory Model Mapper