Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
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
-
-
