Le projet MPFR est une bibliothèque de calculs mathématiques à précision arbitraire. Elle permet de réaliser des opérations sur des nombres flottants avec une précision définie par l'utilisateur, offrant ainsi une grande flexibilité et précision dans les calculs.

Inum64 est une bibliothèque logicielle dédiée à l'arithmétique d'intervalles en précision flottante double. Elle permet d'effectuer des opérations mathématiques (addition, soustraction, multiplication, division) sur des intervalles de nombres réels avec une précision garantie. Utilisée principalement dans les domaines scientifiques et techniques, elle facilite les calculs robustes et fiables pour les applications nécessitant une gestion rigoureuse des incertitudes numériques.

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.

Bibliothèque logicielle fournissant des fonctions d'arithmétique en virgule fixe pour processeurs dépourvus d'unité de calcul flottant. Elle permet d'effectuer des opérations mathématiques précises sur des valeurs décimales en utilisant des entiers, ce qui améliore les performances et réduit la consommation énergétique dans les systèmes embarqués ou les architectures matérielles limitées.

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.

Ce projet développe une implémentation des types ensemblistes appliqués aux variantes polymorphes, une extension du système de types pour les langages fonctionnels. Il permet une vérification de types plus expressive et précise, facilitant la détection d'erreurs à la compilation. Les outils proposés visent à améliorer la robustesse des programmes en exploitant des concepts mathématiques comme les ensembles et les opérations ensemblistes.