Poly-exo est un dépôt de code source qui vise à décomposer les connaissances en fragments de savoir, permettant ainsi une approche pédagogique pour l'apprentissage de la modélisation polyédrique. Il est utilisé pour optimiser les performances des programmes en manipulant des objets mathématiques et en représentant des aspects de programmes.