Explore projects

Python bindings of Pylene (in development)

Debian package to distribute the divine binary patched for LTSmin.

Data generated from lisp-types package

Build an archlinux package using aur:vcsn-git.

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

Implementation of RTE (rational type expressions) in Python

Jupiter code

Debian packaging of Spins (from LTSmin)

Optimized tool for parallel Bounded model-checking problem