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

Everything on my master internship from my return to Paris the 2 june. I have problems concerning the original project because of very heavy data files in the repository history, that's why I'm starting a new one. I'll try to keep this one cleaner!

Clojure implementation of rational type expressions

Student templates for SCALAIN-E

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

Dockerfiles for constructing build environments for Spot

Emacs support for features related to 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.

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