Discover projects, groups and snippets. Share your projects with others
The Modest Toolset
Additional material for the TAILOR 2020 paper "Towards Deep Statistical Model Checking"
Rigorous Definition Language (RDL) support for Visual Studio Code.
An implementation of the buffer protocol for unicode strings.
An object-oriented approach to regular expressions.
Shared React components for pseuCo apps.
A server-side implementation of the jani-interaction protocol written in Go.
A small (but powerful) IDE for Pseuco. Archived version 1, new version at https://liebe.cs.uni-saarland.de/gitlab/pseuco/pseuco-ide.
A small (but powerful) IDE for pseuCo.
A Python wrapper around the Oniguruma regular expression library.