Informatique
Informatique littéraire et philosophique
MesoCalc, calculatrice pour le calcul sexagésimal positionnel mésopotamien (2013).
Création du langage de programmation TMPL, simulateur de machines de Turing (2008) ;
la SpinozaBase, base de données sur la structure déductive de l’Éthique de Spinoza (2007) ;
le Convertisseur de pagination, programme calculant les correspondances de pagination entre différentes éditions d’un même ouvrage ;
le Convertisseur Proust, outil évaluant les correspondances de pagination entre les différentes éditions de À la Recherche du temps perdu ;
un programme calculant la distributivité entre les principaux opérateurs de la logique propositionnelle.
Théorie informatique
Langages de programmation (2004)
Normes informatiques (2005)
Interface et transparence (2006)
Fiabilité du logiciel libre (2006)
Guides pratiques et programmes utilitaires
SavEntourage : logiciel (libre et gratuit) permettant de récupérer les courriels d’une base de données Microsoft Entourage corrompue ;
comment connecter un périphérique vidéo à une carte d’acquisition vidéo.