Roberto Di Cosmo's repositories
ami-thinner
Combining Mancoosi and Misc tools to produce AMI with minimal disk footprint.
acmart-biblatex
Biblatex styles for the acmart ACM latex package
camltextools
A few tools in OCaml for expanding and extracting dependencies from LaTeX files
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
SocialNetwork
A highly functional library for social combinators.
biblio-irill
bibliography for Irill
coinst
Collection of tools to find issues in package repositories and help manage Debian package integration.
acmart
ACM consolidated LaTeX styles
conarvirus
Visualisation of the evolution of covid-19
github-orgmode-tests
This is a test project where you can explore how github interprets Org-mode files
jecode
jecode.org
learnbigcode.github.io
Website for Learning from "Big Code"
moviedb
Sample movie database
open-data-registry
A registry of publicly available datasets on AWS
persistence
test
RR_webinars
Series of webinars and documents on Reproducible Research
specification-working-copy
Specification of the SWHID identifier
swh-check-repositories
Check archival status of a list of repositories