Software
I develop and maintain a number of free software projects, most of them related to my research or to scientific publishing. Most are hosted on GitHub.
Research software
- MIT ProvSQL: support for (semiring) provenance and uncertainty management in PostgreSQL databases [publication]
- MIT provenance-lean: Lean 4 formalization of some notions of data provenance [publication]
- MIT TheoremKB: collection of tools to extract semantic information from (mathematical) research articles [publication]
- MIT lsg: large sparse graph library [publication]
- datacorrob: implementation and datasets for truth finding (data corroboration) [publication]
- MIT Wikipedia scripts: scripts to extract content (in particular, the graph structure) from Wikipedia [publication]
- MIT Fuzzy XML: Java implementation of a probabilistic XML model [publication]
LaTeX and scientific publishing
- LPPL proofgraph: LaTeX package automatically producing a graph of the dependencies between the results of a mathematical article
- LPPL apxproof: LaTeX package for automatically typesetting proofs (and other material) in appendix
- MIT dblpify: using DBLP to clean up and make uniform the references in a BibTeX file
- AGPL Dissemin: Web platform helping researchers deposit their publications in open repositories (service now discontinued)
- LPPL erc-latex-template: LaTeX template for ERC grant proposals (no longer maintained)
Miscellaneous utilities
- MIT muttlike-imap: searching IMAP mailboxes from the command line using mutt-style patterns
- MIT recletters: Web system for uploading recommendation letters