Explore projects

Emacs support for features related to Spot.

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

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

Web server for Spot

Clojure implementation of rational type expressions

Some developer utilities for CLOS program development

Docker file for SyntComp'25

Optimized tool for parallel Bounded model-checking problem

The point of this tool is to learn a Computation Tree Logic (CTL) formula that separates a set of positive and negative Kripke structures, i.e. is verified by the former but not the latter. For more details, please read the companion article: http://arxiv.org/abs/2402.06366

The original version of Vaucanson. You should rather use Vcsn now.