GitLab

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.