Explore projects

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)

Repository for my intership during M1

affiches de séminaires et autre

My vim configuration. Lot of colorschemes available.

Application pour enregistrer son vocabulaire et être intérrogé dessus avec mode multi-langue possible.

A full pythonic python procmailrc parser to an abstract syntax tree to procmailrc file syntax

Crans scripts

Projet logique L3