Projet de calcul et d'analyse du demi-PGCD, une extension du concept de plus grand commun diviseur. Permet d'explorer des propriétés mathématiques avancées liées aux entiers et aux algorithmes de calcul.

La bibliothèque Zarith implémente des opérations arithmétiques et logiques sur des entiers de précision arbitraire. Elle utilise la bibliothèque GMP pour les calculs sur les grands entiers et représente les petits entiers sous forme d'entiers Caml non boxés pour économiser de l'espace et améliorer les performances.

RVDist est un prototype d'outil écrit en C++ pour la vérification en temps réel de systèmes distribués (composants basés) à l'aide de la logique temporelle. Il utilise la plateforme Spot pour la manipulation des formules LTL et la bibliothèque BigInt pour les calculs sur de grands entiers.

GMP-ECM est un outil spécialisé dans la factorisation de grands nombres entiers en utilisant des algorithmes avancés comme ECM (Elliptic Curve Method), P-1 et P+1. Il est largement utilisé en cryptographie, en théorie des nombres et pour la vérification de la primalité de grands nombres. Le projet permet d'optimiser les calculs en ajustant des paramètres comme les bornes B1 et B2 pour maximiser l'efficacité.