Greetings

In my spare time I like to play and listen to music, program and take care of my flowers. When I'm not in my spare time, I usually work with formal methods.

Current work

Miscellaneous developments

Music related content

Mutopia project is a library providing free music sheets in Lilypond format.
A (open) database for music metadata
Une fiche sur diverses notions d'harmonie en musique

Other content

Email self-defense tutorial by the FSF