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.

Image dedicated to lrde/share repository tests.

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.

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.