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

Petri-Net model checker (obsolete demo for Spot)

Some developer utilities for CLOS program development

Build an archlinux package using aur:vcsn-git.

Data generated from lisp-types package

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.

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

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

Metaprogramming toolbox to do blackmagic in c++17