Ce projet est une plateforme dédiée à l'analyse et à la révision de code source. Il permet aux équipes de développeurs de collaborer efficacement en automatisant les vérifications de qualité, en centralisant les commentaires et en facilitant les retours sur les contributions. Destiné aux environnements académiques ou professionnels, il optimise le processus de développement logiciel en offrant des outils intégrés pour le suivi des bugs, l'évaluation des performances et la gestion des versions.

Ozr-Updater est un outil conçu pour simplifier la mise à jour des applications développées avec LabVIEW. Il permet aux utilisateurs de télécharger et d'installer facilement les dernières versions d'un logiciel via un assistant intégré. L'outil vérifie automatiquement la disponibilité de nouvelles versions, soit au démarrage de l'application, soit à intervalles réguliers, et propose des notifications pour informer l'utilisateur. Les mises à jour sont gérées via un fichier index hébergé dans le cloud, facilitant ainsi la gestion des versions et des téléchargements.

Outil logiciel permettant de contrôler et superviser des cartes AMC (Advanced Mezzanine Cards) intégrées dans des crates uTCA (Advanced Telecommunications Computing Architecture). Il vérifie la connectivité des crates, lit l'état des cartes, démarre ou arrête leur transmission de données, et surveille les erreurs potentielles. Le système gère également la configuration des ports UDP pour la réception des données et permet de récupérer les versions de firmware des cartes.

Projet minimaliste fournissant une interface en ligne de commande pour récupérer la version d'un logiciel ou d'un système. Utilisé principalement par les développeurs pour des vérifications techniques rapides.

Ce logiciel implémente un parseur de certificats numériques X.509, annoté avec des annotations ACSL pour la vérification avec Frama-C (version 18/Argon).

Ce projet fournit une plateforme dédiée à la rédaction et à la gestion des spécifications des exigences logicielles. Il permet aux équipes de développement de travailler en collaboration sur des projets, en facilitant la communication et l'organisation des exigences.

CoqInE est un plugin pour le logiciel Coq qui traduit les preuves Coq en termes Dedukti vérifiables. Il fournit un fichier de signature fidèlement encodant la théorie sous-jacente de Coq. La sortie générée est destinée à être vérifiable à l'aide de la dernière version de Dedukti.

Projet de test pour évaluer les dépendances et la compatibilité des composants logiciels. Permet de vérifier les versions et les conflits entre bibliothèques ou modules.

PauWare est une bibliothèque logicielle dédiée à la modélisation et à l'exécution de machines à états pour les systèmes informatiques. Elle permet de concevoir, observer et vérifier des comportements logiciels complexes tout en assurant une compatibilité avec les versions précédentes. Développée dans le cadre d'un projet européen, elle facilite la création et le refactoring d'API pour implémenter des machines à états de manière robuste et maintenable.

Ce projet définit des paquets logiciels spécifiques à l'utilisation de GLiCID HPC, qui ne sont pas disponibles dans les canaux principaux de Guix ou qui nécessitent des définitions personnalisées. Il propose deux canaux : un canal stable avec des versions vérifiées et un canal en développement où les choses peuvent être instables.