Ce projet fournit un template de base pour développer des applications web interactives avec R-Shiny, principalement destinées à des usages scientifiques ou analytiques. Il facilite la création rapide d'interfaces utilisateur, la gestion des données et le déploiement via des conteneurs Docker. Le template inclut des outils d'intégration continue pour automatiser la construction et la publication des applications.

Ce projet est une solution backend dédiée à la gestion et au déploiement d'applications sur Kubernetes. Il automatise les pipelines de développement et d'intégration continue, optimise l'utilisation des ressources cloud et renforce la sécurité des environnements de développement. Destiné aux équipes DevOps et aux développeurs, il simplifie la gestion des infrastructures conteneurisées.

Ce projet vise à faciliter le développement, l'apprentissage et la collaboration autour du langage de programmation C. Il propose un espace dédié à la gestion de code source, aux tests automatisés et à l'intégration continue pour les développeurs utilisant ce langage. Le dépôt permet également de partager des ressources, des bonnes pratiques et des outils pour optimiser la productivité des équipes travaillant en C.

L'atelier est une solution de déploiement et de gestion d'applications Kubernetes via des chartes Helm. Il facilite l'automatisation et la configuration des services EOLE3, permettant aux utilisateurs de déployer et gérer des environnements applicatifs de manière simplifiée et reproductible.

Le projet dev-appli est une application web développée en PHP, utilisant le framework CodeIgniter. Il permet la gestion de contenu web, l'automatisation de tâches administratives et l'analyse de données. Il est également compatible avec les normes internationales grâce à l'utilisation de i18next pour la gestion des traductions.

Ce projet fournit des encodages de règles d'inférence et de méta-théorèmes utilisés pour la vérification du prouveur automatique de théorèmes Leo-III en logique d'ordre supérieur. Les encodages sont développés dans le cadre du système Dedukti et exploités via l'assistant de preuve interactif Lambdapi. Il facilite la clausification, la simplification de termes et la gestion des littéraux pour les preuves automatisées.

Puppet Labs propose une solution d'automatisation pour la gestion des infrastructures informatiques. Son outil permet de configurer, déployer et maintenir des systèmes de manière centralisée et reproductible. Il simplifie la gestion des serveurs et des applications en automatisant les tâches répétitives, réduisant ainsi les erreurs humaines et améliorant l'efficacité opérationnelle. Puppet est largement utilisé dans les environnements DevOps pour assurer la cohérence et la scalabilité des infrastructures.

Projet expérimental visant à tester l'API v3 de Nakala, une plateforme dédiée au dépôt et à la gestion de ressources numériques. Il permet aux utilisateurs de créer des collections, d'agréger des données et de structurer des métadonnées via des interfaces logicielles. Destiné aux développeurs, il facilite l'intégration et l'automatisation des dépôts massifs de fichiers.

Ce projet vise à faciliter le déploiement et la gestion de systèmes Debian au sein d'environnements utilisant des annuaires Active Directory. Il permet aux administrateurs système d'automatiser les configurations, d'harmoniser les politiques de sécurité et de simplifier la maintenance des postes ou serveurs Linux. L'objectif est de réduire les temps d'intervention tout en garantissant une intégration fluide avec les infrastructures existantes.

Bibliothèque Python dédiée au contrôle et à l'acquisition d'images via des caméras astronomiques FLIPRO. Elle s'intègre au framework Guitastro pour faciliter la gestion des instruments d'observation en astronomie, permettant aux utilisateurs de configurer, déclencher et sauvegarder des captures d'images célestes de manière automatisée.