Le projet docker-udata est une image Docker fournissant udata, une plateforme de publication, de gestion et d'hébergement de données ouvertes. Il permet de déployer rapidement une instance d'udata avec l'ensemble des plugins et du thème gouvfr, préconfigurée pour fonctionner avec MongoDB, Elasticsearch et Redis.

Le projet docker-mathcomp fournit des images Docker de versions stables de la bibliothèque Mathematical Components pour l'assistant de preuve Coq. Ces images sont basées sur les images coqorg/coq, qui reposent sur Debian 11 Slim et opam 2.0. Le projet vise à faciliter l'utilisation de la bibliothèque Mathematical Components, à fournir un environnement Coq préconfiguré et à simplifier l'installation et la gestion des dépendances Coq.