Ressources, développements et leçons d'agrégation mathématique option informatique Cachan 2017-2018

Code de l'interface Django de la Note Kfet 2015

Code du serveur de la Note Kfet 2015

Les scripts pour le wei 2018

M2 internship @ Inria Paris — an implementation of time credits and time receipts within the Iris separation logic — Coq proofs

Useful latex templates

This is a centralized passwords manager, using GPG for protection, and allowing shared passwords to groups.

~/bin/

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

Les pdf et documents utiles du ca