Explore projects

Gestion des configurations temps réel

Website: https://extrem-gs.gricad-pages.univ-grenoble-alpes.fr/school-num

A CEGAR-based solver for maximum model counting

ClusterSSH en mode terminal (tmux)

Nachos code for students

Fortran + Python tools to preprocess data, organize input dataset, compute correlations, measure doublets, and invert.