Explore projects

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

Code source de l'application mobile iOS

Puppet NTP Module. Originally designed by PuppetLabs. https://github.com/puppetlabs/puppetlabs-ntp

Brew packages for MacOSX

Website with:

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

Puppet+r10k+Git control repo

Outil de suivi des Contrats / Outil de suivi des Budgets : Application Ruby On Rails permettant le Suivi des Contrats et des budgets correspondant dans le contexte d'une entité de recherche (EPST, Laboratoire, Université, etc.).

Pour Energy saving OAR

Recipe to extend the Grid'5000 big environment to include custom IA software.

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