Ce projet pédagogique vise à fournir une base de code en langage C pour l'apprentissage des tests unitaires. Il inclut des algorithmes de tri classiques (sélection, insertion, fusion) et des fonctions utilitaires. L'objectif est de permettre aux étudiants d'implémenter des tests unitaires pour valider le bon fonctionnement de chaque fonction, en utilisant la bibliothèque Check pour automatiser les vérifications et mesurer la couverture de code.

Django-drybones est un projet de modèle de dépôt pour Django, permettant de faciliter la création de sites web dynamiques et de gérer le contenu web. Il inclut des outils pour l'automatisation de tâches de développement telles que la vérification de la couverture de code et le linting.

Ce projet implémente l'algorithme de calcul des ordres d'appel pour Parcoursup, une plateforme d'admission dans l'enseignement supérieur en France. Il fournit une spécification formelle de l'algorithme et des preuves de sa correction en utilisant différents outils de vérification.

Outil dédié à l'automatisation et à la simplification des tests unitaires pour les développeurs Java. Permet de vérifier rapidement la conformité du code et d'identifier les régressions. Facilite la maintenance et améliore la qualité des logiciels en assurant une couverture de test optimale.