A simple proof assistant written in Rust

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

My nixos configuration

Simple script to receive a push notification with gotify each time someone ping you in the weechat client

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

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

Mon header latex

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

Page statique listant les services

Une petite appli django pour gérer les dépenses de différents groupes. Utilisé pour la trésorerie de la Kolok.

Charte dokker