Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
C++14 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.
-
-
-
-
-
Add macro to detect whether an expression is compile-time.
-
-
Build an archlinux package using aur:vcsn-git.
-
Metaprogramming toolbox to do blackmagic in c++17
-
Mirror of freeimage library. It enables us pulling sources from git instead of a random failing tarball on sourceforge when packaging it with conan.
-
Conan packaging of freeimage project
-
Conan packaging recipe for google benchmark library
-
-
-
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.
-
-
-
-
