Logiciel open-source permettant de corriger, réorganiser et re-rooter des arbres géniques en fonction d'un arbre spécifique.

ASCIDIAN est une extension du logiciel ASTEC, dédié à l'analyse d'images 3D dans le domaine biologique. Il permet la segmentation et la reconstruction d'images 3D, offrant ainsi des fonctionnalités avancées pour la compréhension de structures cellulaires complexes.

Timbuk est un cadre de vérification régulier basé sur les Automates d'Arbres et les Systèmes de Réécriture de Termes. Il fournit un ensemble de bibliothèques pour créer et manipuler des Automates d'Arbres et des TRS, effectuer une analyse de faisabilité à l'aide de l'Algorithme de Complétion, et calculer des abstractions capables de vérifier des propriétés de sécurité sur des programmes fonctionnels de haut niveau.