Explore projects

Shared React components for pseuCo apps.

A template for LLNCS papers with GitLab CI integration.

A set of components to build a HDF reader webapp.

A server-side implementation of the jani-interaction protocol written in Go.

The JANI front-end module for the LTSmin toolset

Verification 2018-2019, template project

The Python toolbox for working with quantitative models.

A helper library for handwritten parsers.

Supplement material and test results for the paper "Admissibility in Probabilistic Argumentation".

A Python wrapper around the Oniguruma regular expression library.