Explore projects

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

Scala code for Mississippi Governor's School

Clojure implementation of rational type expressions

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!

Web server for Spot

Implementation of RTE (rational type expressions) in Python

PaInleSS: a Framework for Parallel SAT Solving.

Debian packaging of Spins (from LTSmin)

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