Roberto Di Cosmo's starred repositories
swh-checkout
Download a single commit of a Git repository, using the Software Heritage as a fallback
reredirect
Tool to dynamicly redirect outputs of a running process
swh-save-action
A GitHub Action that saves a GitHub repository to the Software Heritage Archive
zotero-better-bibtex
Make Zotero effective for us LaTeX holdouts
conarvirus
Visualisation of the evolution of covid-19
unix-history-repo
Continuous Unix commit history from 1970 until today
camltextools
A few tools in OCaml for expanding and extracting dependencies from LaTeX files