Ce projet est un exemple pédagogique destiné à l'apprentissage des tests unitaires en programmation C. Il fournit une base de code simple basée sur des algorithmes de tri classiques, permettant aux étudiants de mettre en pratique la création et l'exécution de tests automatisés pour valider le bon fonctionnement des fonctions implémentées.

Ce projet pédagogique vise à fournir une base de code simple en langage C pour illustrer la mise en place de tests unitaires automatisés. Il permet aux étudiants de comprendre comment tester individuellement chaque fonction d'un programme, notamment les algorithmes de tri classiques. Le dépôt inclut des outils pour compiler, exécuter les tests et mesurer la couverture de code, favorisant ainsi l'apprentissage des bonnes pratiques de développement logiciel.

PlanarLarvae.jl est un package Julia dédié à l'analyse de mouvements larvaires. Il permet de lire et de traiter des fichiers de suivi de larves générés par différents programmes, tels que Choreography, FIMTrack et JBM's automatic tagger. Le package fournit des types de données de base pour les descriptions 2D de la larve, ainsi que des fonctionnalités de base pour les étiquettes discrètes de comportement, y compris le support pour les fichiers d'étiquettes JSON.

Ce projet pédagogique est un TP universitaire conçu pour enseigner la programmation en C++ et la manipulation des structures de données, notamment les listes chaînées. Il prépare les étudiants à des travaux pratiques ultérieurs sur des structures plus complexes comme les Skip-Lists. Le dépôt fournit un cadre pour implémenter et tester des fonctionnalités de base et avancées des listes chaînées.

Timbuk est un cadre de vérification régulier basé sur les Automates d'Arbres et les Systèmes de Réécriture de Termes. Il fournit un ensemble de bibliothèques pour créer et manipuler des Automates d'Arbres et des TRS, effectuer une analyse de faisabilité à l'aide de l'Algorithme de Complétion, et calculer des abstractions capables de vérifier des propriétés de sécurité sur des programmes fonctionnels de haut niveau.

La bibliothèque CamlDBM est une interface OCaml pour les bases de données NDBM/GDBM Unix, qui sont des magasins de données clé-valeur persistants. Elle offre une interface de programmation documentée dans le fichier dbm.mli et était auparavant incluse dans la distribution standard OCaml. Cette distribution autonome fournit les mêmes fonctionnalités.

Projet de squelette pour la programmation directe et bas niveau du matériel x86. Il permet de construire un noyau système minimaliste et bootable, exécutable sur un environnement bare metal ou via un émulateur comme QEMU. L'objectif est de fournir une base pour développer des systèmes d'exploitation ou des logiciels système en manipulant directement le matériel, sans dépendre des fonctionnalités d'un système d'exploitation existant.

Ce projet fournit un langage de programmation spécifique au domaine pour abstracter les fonctionnalités de base de réseau et de sécurité. Il inclut également un générateur de code pour faire appliquer les mécanismes de sécurité au moment de l'exécution.