Logiciels
Je développe et maintiens un certain nombre de logiciels libres, pour la plupart liés à mes travaux de recherche ou à l'édition scientifique. La plupart sont hébergés sur GitHub.
Logiciels de recherche
- MIT ProvSQL : gestion de la provenance (par semi-anneaux) et de l'incertitude dans les bases de données PostgreSQL [publication]
- MIT provenance-lean : formalisation en Lean 4 de certaines notions de provenance des données [publication]
- MIT TheoremKB : collection d'outils pour extraire des informations sémantiques d'articles de recherche (mathématiques) [publication]
- MIT lsg : bibliothèque de gestion de grands graphes creux [publication]
- datacorrob : implémentation et jeux de données pour la corroboration de données (truth finding) [publication]
- MIT Scripts Wikipédia : scripts pour extraire du contenu (en particulier, la structure de graphe) de Wikipédia [publication]
- MIT Fuzzy XML : implémentation en Java d'un modèle XML probabiliste [publication]
LaTeX et édition scientifique
- LPPL proofgraph : package LaTeX produisant automatiquement un graphe des dépendances entre les résultats d'un article mathématique
- LPPL apxproof : package LaTeX pour reporter automatiquement les preuves (et d'autres contenus) en annexe
- MIT dblpify : utilisation de DBLP pour nettoyer et uniformiser les références d'un fichier BibTeX
- AGPL Dissemin : plate-forme Web aidant les chercheurs à déposer leurs publications dans des archives ouvertes (service interrompu)
- LPPL erc-latex-template : modèle LaTeX pour les projets de financement ERC (n'est plus maintenu)
Utilitaires divers
- MIT muttlike-imap : recherche dans des boîtes aux lettres IMAP en ligne de commande avec des motifs à la mutt
- MIT recletters : système Web de dépôt de lettres de recommandation