A simple proof assistant written in Rust

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

Site en mkdocs pour informer pour une install party Crans

Mirror of re2o upstream project

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