Explore projects

Robair est connecté aux réseaux sociaux. Créé dans le cadre du projet fablab du fablab de l'uga

Fichiers sources pour les projets de robotique autour de RobAIR https://github.com/fabMSTICLig/RobAIR dans le cadre des cours d'Olivier Aycard https://lig-membres.imag.fr/aycard/index.php?&slt=enseignement

Fichiers sources pour les projets de robotique autour de RobAIR https://github.com/fabMSTICLig/RobAIR dans le cadre des cours d'Olivier Aycard https://lig-membres.imag.fr/aycard/index.php?&slt=enseignement

temporary repo for riscv 128-bit toolchain

Development of a resilient CPS for the thermal regulation of a building. Using partly simulated agents and partly real ones.

Basic library which links only to QtCore (without references to gui features): expression, messages, cache, xml, tar, memory, crash,...

Présentation faite pour le UE bureau d'études

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