Explore projects

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

Dockerfiles for constructing build environments for Spot

Implementation of RTE (rational type expressions) in Python

Web server for Spot

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

PaInleSS: a Framework for Parallel SAT Solving.

Petri-Net model checker (obsolete demo for Spot)

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.