Explore projects

Otawa 2 plugin for exact analysis of lru caches

Firmware Marlin configuré pour la Prusa du bâtiment Z. Upstream : https://github.com/MarlinFirmware/Marlin

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

Project containing the necessary files to set up a NodeRed server for the connected marmot cages.

Provides the user with the state machine to execute CamiTK-Action, CamiTK-Component, visualization.

Linux kernel patched with KauNetEm support, a deterministic version of the NetEm emulation facility. Upstream: https://git.cs.kau.se/pub/kaunetem

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

Basic implementation of fixed point arithmetic functions in C/C++.