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

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.

Scala code for Mississippi Governor's School

Dockerfiles for constructing build environments for Spot

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

Emacs support for features related to Spot.

Debian packaging of Spins (from LTSmin)

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

Conan packaging recipe for google benchmark library

Conan packaging of freeimage project