Mirror of re2o upstream project

A simple proof assistant written in Rust

Petite classe LaTeX permettant de créer simplement une feuille de note

My nixos configuration

Outils de gestion des adhérents

Personal repository of scripts and tools. Public access for consideration.

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

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

Prometheus module for ninjabot