Opam est un gestionnaire de paquets dédié aux outils de preuve formelle Rocq Prover et Coq. Il permet de distribuer, maintenir et installer des bibliothèques et extensions officielles ou en développement. Ce dépôt centralise les paquets pour les versions stables et expérimentales, facilitant ainsi la réutilisation et l'intégration des outils dans des projets de preuve formelle.

Ce projet est un dépôt Opam qui héberge les demandes de pull request pour le langage de programmation OCaml, facilitant ainsi sa maintenance et son développement.

Ce projet propose une formation sur l'utilisation de la réalité augmentée dans le domaine de la maintenance. Il offre des démonstrations, des exercices pratiques et des conseils pour faciliter l'apprentissage et l'utilisation de cette technologie innovante dans le cadre de la maintenance industrielle.

Le projet pix-maintenance est dédié à la maintenance et à l'amélioration de la plateforme Pix, qui évalue les compétences numériques des apprenants. Il assure le suivi et la résolution des incidents techniques, ainsi que la gestion des mises à jour et des améliorations continues de la plateforme.

Le projet pc-maintenance est dédié à la maintenance et au dépannage de la plateforme Pass Culture. Il permet d'assurer le bon fonctionnement du site et de gérer les incidents techniques.

Ce projet offre une assistance technique à distance pour aider à résoudre les problèmes techniques et à maintenir les systèmes et logiciels à jour. Il permet de gérer les correctifs de bugs et d'assurer la maintenance préventive et corrective des systèmes informatiques.