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.

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.

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

Image dedicated to lrde/share repository tests.