Explore projects

Nixos configuration

A simple proof assistant written in Rust

~/bin/

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

Crans configuration files.

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

Statuts et règlement intérieur de l'Amicale.