Explore projects

https://grid5000.gitlabpages.inria.fr/pipeline-creation-assistant/

https://learninglab.gitlabpages.inria.fr/serious-game/smartphone

A regular verification framework based on Tree Automata and Term Rewriting Systems.

Website with:

the list of group meetings names of members resources for students (summer schools, conferences, scholarships)

Description of the GenOuest core facility, policy, rules etc...

Parallel C++ library for Multivariate Data Analysis of large datasets.

Fast Methods for Randomized numerical linear algebra. Provides a set of tools to perform Randomized NLA computations in a fast and efficient way, e.g., using fast multipole matrix multiplication, along with various application-dependent addons.

Kavlan-API is a Grid5000 service which provides the KavlanNG API. KavlanNG is a rewrite, almost from scratch, from the previous Kavlan service, which offers physical 802.1Q VLANs provisioning on Grid5000, and switching of nodes interfaces to these VLANs. KavlanNG is built on top of Openstack Neutron. Kavlan-API is a middleware between Grid5000 users and the underlying Openstack Neutron instance.

A friendly tutorial about Git and Gitlab. Also, jokes.