Explore projects

Program logic for developing and verifying distributed systems

Crans intranet.

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

Mastermind utilisant l'affichage lumineux des bornes wifi.

Utilisé en soirée Crans entre autres.

A fork of https://github.com/ypsu/latex-to-unicode. Adding combinings, fractions, and unicode NFC normalization.

python module for converting latex math to unicode string

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

L3 @ ENS Cachan — Programmation logique — Project, part. 1: a solver for the Reflexion game (course webpage: http://www.lsv.ens-cachan.fr/~schwoon/enseignement/projet-logique/2015/)

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