Explore projects

Verimag's fork of CompCert

Repo de documents sur l'intégration du numérique dans l'enseignement

https://augierpi.gricad-pages.univ-grenoble-alpes.fr/

Repo des présentations du groupe

This repository contains all source files, published documents, and example programs for Siconos software.

Julia Package to analyze the experimental data from the wall painting mural done with the Strad Robot.

Neural Network Adequate hardWare Architectures for Quantization

Datasets to use with nnawaq repository

This project provides doi management tools developed at OSUG.

XSHELLS is a high performance simulation code for the rotating Navier-Stokes equation in spherical shells, optionally coupled to the induction and temperature equation. https://nschaeff.bitbucket.io/xshells/