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

Student templates for SCALAIN-E

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

Clojure implementation of rational type expressions

Scala code for Mississippi Governor's School

Jupiter code

Web server for Spot

Debian package to distribute the divine binary patched for LTSmin.

Dockerfiles for constructing build environments for Spot