Explore projects

C++17 library for LTL, ω-automata manipulation, and model checking. Comes with Python bindings.

Vcsn is a finite state machine manipulation platform, consisting of a templated C++ library, a dynamic C++ API, and Python GUI.

See http://vcsn.lrde.epita.fr.

This deposit includes the progress of my internship. It contains the scripts necessary for the reissue of the Benchmarks as well as the sources of the distributed Union-Find implemented during the second part of the internship.

Metaprogramming toolbox to do blackmagic in c++17

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

Mirror of freeimage library. It enables us pulling sources from git instead of a random failing tarball on sourceforge when packaging it with conan.

Code sample for paper at repo: https://gitlab.lrde.epita.fr/carlinet/roynard.2020.icip

The original version of Vaucanson. You should rather use Vcsn now.

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