Explore projects

Git training documents. Principal author: Matthieu Moy Advanced parts authors: Sylvain Bouveret and Mounié Grégory

A plugin to enhance vpl design (CaseInE synchronisation for the designer, test generation, ...)

Rôle Ansible pour installer et configurer un environnement bureau GNOME de base

This project gives the recipe to build a virtual box machine using vagrant and it's ansible provisioning

Calculs de correlations et de Double Beamforming sur les données du réseau dense San Jacinto

Path Analysis for the Generation of Numeric Invariants. Project hosted at VERIMAG for the development of static analysis techniques.