Ce tutoriel pédagogique explique comment utiliser les branches dans Git pour gérer des développements parallèles de fichiers. Il couvre la création, la fusion et la résolution de conflits entre branches, permettant aux utilisateurs d'organiser et de synchroniser leurs modifications sans dépendre d'une connexion constante à un serveur. Destiné aux débutants et aux développeurs souhaitant maîtriser les bases de la gestion de versions distribuée.

Ce projet permet de stocker, gérer et partager des images de conteneurs Docker de manière centralisée. Il facilite la collaboration entre développeurs et équipes DevOps en offrant un espace dédié pour héberger et distribuer des images prêtes à l'emploi. Idéal pour les environnements de développement, de test et de production, il optimise les workflows de déploiement et assure une traçabilité des versions.

Projet dédié à la construction et à la distribution de paquets logiciels pour le projet open source silx. Il permet aux développeurs d'accéder facilement aux versions de développement de silx sous forme de paquets Debian, de roues Python pour Windows et Linux, facilitant ainsi les tests et l'intégration continue.

Ce projet est un tutoriel pratique pour maîtriser les bases de Git, un système de gestion de versions distribué. Il couvre l'initialisation de dépôts, l'ajout et la modification de fichiers, la gestion des branches, la résolution de conflits et l'utilisation de dépôts distants. Destiné aux débutants, il permet d'acquérir des compétences essentielles pour le développement collaboratif et le suivi des modifications de code.

Ce projet est un modèle de configuration CI/CD conçu pour simplifier et standardiser les processus de développement, de test et de déploiement des projets Python. Il propose des templates réutilisables pour GitLab CI, couvrant des tâches comme le linting, les tests multi-versions, la construction de distributions, la génération de documentation et le déploiement. Il inclut également des scripts utilitaires pour faciliter la migration de configurations, la gestion des versions et le déploiement sur PyPI, réduisant ainsi la complexité et le temps de configuration pour les équipes.

Outil open source dédié à la gestion centralisée des configurations logicielles. Il permet aux équipes de développement et d'exploitation de stocker, versionner et déployer des fichiers de configuration de manière sécurisée et automatisée. Idéal pour les environnements cloud, les applications distribuées ou les infrastructures as code, il facilite la collaboration et réduit les erreurs de configuration.

Projet pédagogique conçu pour initier les utilisateurs aux concepts fondamentaux de Git, un système de contrôle de version distribué. Il permet d'apprendre à créer des dépôts, gérer des commits, brancher des modifications et collaborer sur des projets de développement logiciel. Idéal pour les débutants souhaitant maîtriser les outils essentiels du développement moderne.

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 tutoriel destiné à apprendre les bases et les fonctionnalités de Git, un système de contrôle de version distribué. Il permet aux utilisateurs de comprendre comment utiliser Git pour gérer des projets de développement logiciel.

Logiciel open source dédié au traitement d'images médicales, développé par l'équipe Empenn. Il offre des fonctionnalités avancées de traitement d'images, de documentation et de compilation, et est distribué sous licence libre. Des versions binaires sont disponibles pour les principaux systèmes d'exploitation.