Explore projects

Présentation et rapport sur les SAT solveur portfolio

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.

An OS in Brainfuck

Dépôt d'entraînement pour le séminaire sur git du 18/10/2016

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

Code du module de reboot de bornes wifi

Un ACS en django pour gérer les bornes wifi via le protocol cwmp

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

Aide à la tenue de comptes sur le wiki

Mastermind utilisant l'affichage lumineux des bornes wifi.

Utilisé en soirée Crans entre autres.

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