Explore projects

C++17 library for LTL, ω-automata manipulation, and model checking. Comes with Python bindings.

Python bindings of Pylene (in development)

Builds the docker image that runs on spot-sandbox.lrde.epita.fr.

Implementation of RTE (rational type expressions) in Python

This repository contains support material for THEG-English. Students should regulary git pull to assure to have the latest material.

Online application for rewriting LTL formula or translating them into automata.

Conan packaging for https://github.com/pybind/pybind11

Vcsn is a finite state machine manipulation platform, consisting of a templated C++ library, a dynamic C++ API, and Python GUI.

See http://vcsn.lrde.epita.fr.

This is an open solution to the https://endocv.grand-challenge.org/