Explore projects

L3 @ ENS Cachan — Programmation OO/Scala — Project, part. 2: plenty of puzzle games (course webpage: http://econtal.perso.math.cnrs.fr/teaching/)

Crans intranet.

A categorical framework for effects in Coq. (L3 internship)

Note de cours de Regards croisés mathématiques et physique

Parse les logs du firewall pour effectuer un association mac_ip en ipv6

Migration vers BB.

Projet Spécial pour les Uap Pros ainsi que les Pico-old

Crans scripts

This is the repository for the Network lessons project from Juliusz Chroboczek for the MPRI M1. The protocol is a flooding protocol in order to synchronize some small amount of data.