Le projet psf est une plateforme de gestion de développement logiciel visant à faciliter la collaboration entre développeurs, le suivi des tâches et l'organisation des issues et des pull requests. Il permet de gérer efficacement les projets de développement en offrant un espace de travail dédié et organisé.

Ce bot, écrit en OCaml, est principalement utilisé dans le développement du projet Coq. Il permet la synchronisation entre GitHub et GitLab, la gestion des pull requests depuis des forks, la gestion des milestones des issues et la gestion du processus de backporting.

Le projet secretariat est une plateforme de gestion des emails professionnels pour les membres de l'incubateur. Il permet la création et la gestion de redirections d'emails, la gestion des listes de diffusion, et l'intégration avec Github pour la gestion des pull requests.

Le projet COINCHOTE développe une application web pour jouer à la coinche, en appliquant une méthode agile de gestion de projet. Il est divisé en cinq EPICs majeurs : gestion de comptes utilisateurs, mise en relation de joueurs, mécanique de jeu et interfaces utilisateur, classement et évaluation des joueurs, et gestion et progression des tournois.