NoteKfet pour le déménagement et la Saper[list]popette !

My nixos configuration

Feuilles de calcul Maple construisant des invariants pour certains modèles de marche

Program logic for developing and verifying distributed systems

Module pour s'authentifier via la Note Kfet en OAuth avec django-allauth

Acquisition of Type HIerarchies through Corpus Exploration

Ensemble des recettes de déploiement Ansible pour les serveurs du Crans.

implémentation de la KAM dans le cadre du stage de L3 (en Ocaml puis en C)

Livre pour apprendre la magie de l'administration système au Crans

Mirror of re2o upstream project

Useful latex templates