Au cours des mon travail ou en guise d'amusement j'ai développé quelques bouts de code, principalement dans l'assistant de preuve Coq.

Containers est une bibliothèque Coq basée sur les typeclasses, une nouvelle fonctionnalité implémentée par Matthieu Sozeau. Elle se veut une alternative à la bibliothèque d'ensembles et de dictionnaires finis existante FSets/FMaps.

Une bibliothèque OCaml de dessin scientifique pour documents LaTeX, à laquelle j'ai participé.

J'ai résolu les premiers problèmes du Project Euler en Coq, et je les ai commentés pour en faire une sorte de tutorial sur comment écrire de petits programmes certifiés en Coq.