Explore projects

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

Dépôt pour le projet du cours 2-26-2 Web Data Managment.

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.

Initiation à la Recherche

Simple script to receive a push notification with gotify each time someone ping you in the weechat client