Discover projects, groups and snippets. Share your projects with others
Site de gestion du club BonViv[ENS]
Serveur photos 2018
Re2o service to print
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.
M2 internship @ Inria Paris — an implementation of time credits and time receipts within the Iris separation logic — Coq proofs (mirror of https://gitlab.inria.fr/gmevel/iris-time-proofs)
an OCaml library for Project Euler (mostly an arithmetic library)