Explore projects

Provides some services based on a customized base image

Storing custom guix manifests to use with guix pack command

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

Monitoring tools for Chirpstack LoRa Network Server

Formation Introduction au Deep Learning

Code repository for the paper Jedynak et al., 2024

C'est là que je mets ce que je dveloppe sur astrolabe

Configure, build andenjoy docker for oidb service.

Linux Install Party

Help to setup a machine for a Linux Install Party (pxe for various distrib, shorewall, etc.)

Git repo for Rolland et al., 2020