Explore projects

A simple proof assistant written in Rust

plop

Scripty scripting scripts 🔩

Crans intranet.

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

Les cours (et un peu plus) du M1-E3A du département EEA.

Scripts utile pour la NoteKfet2020, disponible au sein d'une application django indépendante

Git repository for Share, a django app helping managing expenses between housemates.

Application pour enregistrer son vocabulaire et être intérrogé dessus avec mode multi-langue possible.

~/bin/

Guide d'introduction (et même un peu plus) à LaTeX.

Tower Defense

Des scripts qui simplifient la vie, utiles à tout le monde et commentés proprement afin que chacun puisse les adapter à ses besoins.

Application mobile pour gérer un voyage (réservations, carte, dépense ...)

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

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

Page d'introduction pour les utilisateurs ayant perdus leur chemin.

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