Ce projet implémente un algorithme de détection de segments de ligne rapide et précis, conçu pour fonctionner sur n'importe quelle image numérique sans ajustement de paramètres. Il utilise une approche de validation a-contrario selon la théorie de Desolneux, Moisan et Morel, et est basé sur la méthode de Burns, Hanson et Riseman. Il inclut des améliorations supplémentaires par rapport à la méthode décrite dans l'article original.

Projet dédié à la simulation et au test de fonctions mathématiques et algorithmes. Il permet de valider des calculs numériques, de vérifier des déplacements sur un échiquier virtuel et d'exécuter des tests unitaires pour s'assurer de la fiabilité des algorithmes développés. Principalement utilisé dans un cadre éducatif ou de recherche.

Projet dédié à la validation et au test de fonctions mathématiques et algorithmiques. Il permet de vérifier la précision des calculs numériques, de simuler des déplacements sur un échiquier virtuel et d'automatiser des tests unitaires pour des algorithmes. Utilisé principalement dans un cadre éducatif ou de recherche pour valider des implémentations logicielles.

Ce projet propose une bibliothèque de fonctions mathématiques et géométriques pour effectuer des calculs numériques, valider des algorithmes et manipuler des coordonnées en deux dimensions. Il inclut des outils pour tester la précision des opérations, gérer des déplacements sur un échiquier virtuel et vérifier des propriétés mathématiques comme la norme ou l'égalité entre valeurs.

Ce projet simule un service COUNTER pour tester et valider des harvests de données d'usage. Il génère des rapports fictifs sur les consultations de ressources numériques, permettant aux développeurs et aux administrateurs de systèmes de bibliothèque de vérifier le bon fonctionnement de leurs outils d'analyse sans utiliser de données réelles.

Ce projet propose des outils logiciels pour manipuler et analyser des images numériques. Il permet de convertir des images en niveaux de gris, d'appliquer des algorithmes de segmentation comme les super-pixels, de détecter des contours via des méthodes comme Sobel, et de binariser des images. Il inclut également des fonctions pour normaliser et inverser des images, ainsi que des tests unitaires pour valider ces opérations.

Ce projet propose une bibliothèque de fonctions mathématiques et géométriques pour effectuer des calculs avancés, valider des algorithmes numériques et simuler des déplacements de pièces sur un échiquier. Il inclut des outils pour tester la précision des opérations, gérer des coordonnées et manipuler des structures de données abstraites.

Bibliothèque dédiée à l'implémentation de l'arithmétique d'intervalles en Julia. Elle permet d'effectuer des calculs mathématiques avec une précision garantie, en prenant en compte les incertitudes et les erreurs d'arrondi. Idéale pour les applications nécessitant une validation rigoureuse des résultats numériques, comme la simulation de systèmes ou l'optimisation de fonctions.

Ce projet propose une bibliothèque de fonctions mathématiques et de gestion pour des calculs numériques avancés. Il inclut des outils pour valider des opérations arithmétiques, manipuler des coordonnées et des pièces, ainsi que des tests unitaires pour assurer la fiabilité des calculs. Idéal pour des applications nécessitant des calculs précis ou des simulations.

Le projet sv_sim_uart fournit un environnement de simulation SystemVerilog pour les Unités Asynchrones de Transfert de Données (UART). Il permet de tester et de valider le fonctionnement de circuits numériques série asynchrones en simulant leur comportement et en vérifiant leur conformité aux spécifications.