plop

A simple proof assistant written in Rust

Scripty scripting scripts 🔩

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

Crans intranet.

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

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

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 ...)

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

Boooo! A simple streaming server with authentication and low-latency WebRTC streaming.