Explore projects

Build an archlinux package using aur:vcsn-git.

Builds the docker image that runs on spot-sandbox.lrde.epita.fr.

Implementation of RTE (rational type expressions) in Python

PaInleSS: a Framework for Parallel SAT Solving.