Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
Metaprogramming toolbox to do blackmagic in c++17
-
Optimized tool for parallel Bounded model-checking problem
-
-
Dockerfiles for constructing build environments for Spot
-
Petri-Net model checker (obsolete demo for Spot)
-
Scala library containing many functions which Scala developers coming from Common Lisp will miss.
-
-
Clojure implementation of rational type expressions
-
Some developer utilities for CLOS program development
-
Conan packaging recipe for google benchmark library
-
Conan packaging of freeimage project
-
Conan packaging for https://github.com/pybind/pybind11
-
-
repo to help with debugging a suspected git vs gitkraken problem
-
Debian package to distribute the divine binary patched for LTSmin.
-
-
-
Emacs support for features related to Spot.