Explore projects

A python script to translate Jani MDP models to PPDDL.

A template for LLNCS papers with GitLab CI integration.

A collection of utilities and helpers for writing Python programs.

libpseuco is a common library for pseuCo tools. It provides the facilities and data structures to read, traverse and process pseuCo programs.

JavaScript implementation of CPN and CPN++