Explore projects

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

This is a centralized passwords manager, using GPG for protection, and allowing shared passwords to groups.

Personal repository of scripts and tools. Public access for consideration.

Présentation et rapport sur les SAT solveur portfolio

Scripts de la colloc

fiches de maths d'élève en PCSI -PSI

Online MRI reconstruction, using pysap, pysap-mri and more