plop

Code de l'interface Django de la Note Kfet 2015

Crans scripts

Crans intranet.

Code du serveur de la Note Kfet 2015

Tower Defense

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

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

Imprimante thermique Crans

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

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

~/bin/

Projet optimisation

Crans configuration files.

Some templates to create cool documents that matches ENS colors or Cr@ns colors for example.

Parse html Agreg calendar from http://agreg.cmla.ens-cachan.fr/. Export in ICS for synchronization with an external device, or pretty_print in terminal.

Un bot irc qui affiche les mises à jour du wiki.

Serveur photos 2018

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