plop

Crans intranet.

Code de l'interface Django de la Note Kfet 2015

Crans scripts

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

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.

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

Code du serveur de la Note Kfet 2015

Tower Defense

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

Projet optimisation

Crans configuration files.

Imprimante thermique Crans

Note Kfet 2018, codée intégralement avec Django et Python3

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

~/bin/

M1 @ ENS Cachan — Systèmes synchrones (MPRI 2-23-1) — Project: a model checker for MiniLustre (course webpage: http://www.di.ens.fr/~pouzet/cours/mpri/)

Crans intranet.

L3 internship @ Loria (Nancy) — TLA⁺ counter-example seeker