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

Clojure implementation of rational type expressions

Jupiter code

Web server for Spot

Debian package to distribute the divine binary patched for LTSmin.

Dockerfiles for constructing build environments for Spot

Code sample for paper at repo: https://gitlab.lrde.epita.fr/carlinet/roynard.2020.icip

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