Explore projects

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

Petri-Net model checker (obsolete demo for Spot)

Build an archlinux package using aur:vcsn-git.

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.

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

Some developer utilities for CLOS program development

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.

This is an open solution to the https://endocv.grand-challenge.org/