Ce projet fournit un guide détaillé pour transférer un dépôt de code source depuis GitLab vers GitHub. Il explique comment créer un dépôt vide sur GitHub, configurer les accès et pousser le code existant. L'objectif est d'aider les développeurs à migrer leurs projets de manière sécurisée et efficace, en conservant l'historique des commits.

MAR-CI est un système d'intégration continue dédié à la validation et au test automatisé des codes sources du projet MAR. Il permet de vérifier la conformité des structures de fichiers, d'exécuter des pipelines de compilation et de test sur différentes configurations matérielles et logicielles, et de gérer des accès sécurisés aux dépôts privés. L'outil facilite la collaboration entre développeurs en automatisant les vérifications et en fournissant des rapports détaillés sur les résultats des tests.

Projet universitaire visant à faciliter la gestion collaborative de code source et l'automatisation des workflows de développement. Permet aux étudiants et enseignants de travailler ensemble sur des dépôts de code, d'automatiser les tests et les déploiements, et de sécuriser les projets via des analyses de vulnérabilités intégrées.

Ce projet est un dépôt de code source hébergé par l'Université de Strasbourg, dédié à la gestion collaborative de projets logiciels. Il permet aux développeurs de versionner, partager et contribuer à des codes sources dans un environnement sécurisé et structuré, facilitant ainsi le travail d'équipe et la maintenance des logiciels.

Le projet cv2fstar-material est un dépôt de code source contenant une extension pour l'outil CryptoVerif, qui permet de vérifier la correction et la sécurité des protocoles cryptographiques. Cette extension, développée dans le cadre d'une thèse de doctorat, permet de générer automatiquement du code sécurisé à partir de spécifications formelles, améliorant ainsi l'efficacité et la fiabilité du processus de développement de protocoles cryptographiques.

Ce projet est un dépôt Git hébergé sur une plateforme dédiée à la recherche et à l'enseignement supérieur. Il permet aux utilisateurs de gérer, versionner et collaborer sur des fichiers de code source dans un environnement sécurisé et structuré, favorisant le travail d'équipe et le suivi des modifications.

Ce projet est un dépôt de code source dédié à la gestion et au téléchargement de fichiers. Il permet aux utilisateurs de stocker, organiser et partager des fichiers de manière sécurisée et efficace.

Le projet tchap-sydent est un dépôt de code source qui héberge les fichiers nécessaires à la construction d'une image Docker pour le service de messagerie instantanée Tchap. Il s'agit d'un service sécurisé dédié aux organismes gouvernementaux, qui permet la communication en temps réel entre les utilisateurs. Le projet gère les identités et les connexions des utilisateurs, et assure la compatibilité avec le protocole Matrix pour permettre la communication avec d'autres plateformes.

Projet composé d'un dépôt de code source contenant des exemples de serveur et client gRPC, ainsi qu'un serveur utilisant des Unix Domain Sockets pour la communication inter-services. Il inclut également des fonctionnalités de configuration et de gestion de connexions sécurisées.

Ce dépôt de code source illustre l'utilisation de fonctions de hachage à taille fixe en Rust. Il fournit des exemples pratiques pour manipuler des données cryptographiques ou des identifiants uniques de manière efficace et sécurisée.