Ce projet implémente une liste chaînée immuable qui permet de gérer des données de manière efficace et sûre. Il offre des fonctionnalités telles que la vérification de liste vide, l'affichage de la liste sous forme de chaîne de caractères, l'itération sur les éléments de la liste, et la comparaison de deux listes.

Le projet sortedlist est une implémentation de base d'une liste triée, offrant des fonctionnalités telles que la vérification de l'état vide, la recherche d'éléments, l'ajout et la suppression d'éléments multiples, et la gestion de sous-listes. Il facilite l'organisation et la manipulation de données avec des éléments uniques, ce qui en fait un outil utile pour les applications nécessitant un tri et un ordonnancement efficaces.

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 open source permettant de synchroniser plusieurs caméras en analysant des matrices numériques affichées ou enregistrées. Il combine des composants logiciels et matériels pour afficher et lire des valeurs numériques via des matrices 4x4, facilitant ainsi la vérification de cohérence entre flux vidéo. Idéal pour des applications nécessitant un suivi précis de données visuelles en temps réel.

Cette bibliothèque permet d'intégrer des paramètres ou des métadonnées discrètes au sein de signaux numériques bruités sans en altérer significativement la qualité. Elle est conçue pour des applications nécessitant une transmission furtive ou une traçabilité de données dans des flux audio, vidéo ou autres signaux numériques. Les paramètres sont encodés sous forme de motifs binaires ou ASCII, avec une vérification par un nombre magique pour confirmer l'intégrité du signal.