This website

You may want to hack with the code of this website to make your own. Here is an archive containing all of it: download. Actually, some people already have, here is a list:

• Helly, Rest In Peace :(
• Alex Hammon
• Shanx

Meuporg

A set of automatic tools to extract items from the content of any text files you want and sort and insert them in your todo list regardless of the format you use. I wrote it when I was working on my master thesis to help me organize myself.

• A detailed description
• The code on github

CPP-verifier

Verificatum is an open-source project providing a provably secure mix-net, a key component for eletronic vote. When used, it outputs a set of file proving that the computations went as expected but these cannot be read by a human being: they are too large and involve very convoluted computations. However, a program can do it. CPP-verifier is one such program. I wrote a first implementation for the first version of the protocol but it is now obsolete. Stay tuned, I'm working on it!

Regulus

This is how I called the git repository containing all my configuration files and custom script. It is available on github. The "roadmap" is a script and an emacs-minor I use extensively.

Sauf mention contraire, le contenu de ce site est placé sous licence CC-BY-NC-SA 2.0 par le détenteur de ce site. Les standards sont au cœur du web : si ce site ne passe pas la validation du w3c (bouton à droite), veuillez me le signaler par mail !