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)

Mirror of re2o upstream project

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

Transform multiple machines into a cluster.

Statuts et règlement intérieur de l'Amicale. Le règlement intérieur est dans la branche ri.