Explore projects

This project aims to create a python API that will allow users to directly call RDOS random generators from their own source code.

Example Jekyll site using GitLab Pages: https://pages.gitlab.io/jekyll

Translation of LTL formulae from JSON into Helena syntax.

Partial Order Model checker for PETri nets