Explore projects

PaInleSS: a Framework for Parallel SAT Solving.

Add macro to detect whether an expression is compile-time.

Metaprogramming toolbox to do blackmagic in c++17

This repository contains support material for THEG-English. Students should regulary git pull to assure to have the latest material.

Scala library containing many functions which Scala developers coming from Common Lisp will miss.

Conan packaging for https://github.com/pybind/pybind11

Petri-Net model checker (obsolete demo for Spot)