Explore projects

This is a mirror of https://gitlab.inria.fr/starpu/starpu where our development happens.

https://starpu.gitlabpages.inria.fr/

a graph generator

Terms, Rewriting, Automata, Graphs

TaPAS is a set of ANSI C libraries related to Presburger Arithmetic and a small solver program.