Ce projet est un environnement de développement basé sur Jupyter et repo2docker, spécialement conçu pour le calcul formel avec pari-gp et arb. Il simplifie la création de conteneurs de développement pour les calculs formels, ce qui permet aux utilisateurs de se concentrer sur leur travail sans se soucier de la configuration de l'environnement.