Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Clojure implementation of rational type expressions
-
C++14 library for LTL, ω-automata manipulation, and model checking. Comes with Python bindings.
-
-
-
-
Debian package to distribute the divine binary patched for LTSmin.
-
Builds the docker image that runs on spot-sandbox.lrde.epita.fr.
-
Dockerfiles for constructing build environments for Spot
-
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!
-
Online application for rewriting LTL formula or translating them into automata.
-
-
-
Debian packaging of Spins (from LTSmin)
-
Web server for Spot
-
-
This is an open solution to the https://endocv.grand-challenge.org/
-
-
Scala library containing many functions which Scala developers coming from Common Lisp will miss.
-
-
