Ce projet fournit une boîte à outils pour la manipulation et l'analyse de graphes. Il permet de calculer des chemins critiques, d'optimiser la tolérance aux fautes dans des systèmes distribués, et de rechercher des cliques maximales dans des graphes.

PMC-SOG est un outil de vérification de modèles parallèles utilisant des graphes d'observabilité symbolique. Il permet de vérifier des propriétés temporelles sur des systèmes concurrents et distribués, de construire des graphes d'observabilité symbolique et d'analyser les performances de ces systèmes.

Vg est un outil en ligne de commande permettant l'analyse de données génomiques en utilisant des structures de données de graphe de variations et des méthodes de génotypage et d'appel de variations. Il est basé sur le framework Giraffe et est distribué dans un conteneur Singularity.

Ce projet vise à analyser la biodiversité en préparant des données, en exécutant des modèles de distribution des espèces, en générant des résultats, en créant des graphiques et en produisant une table de résultats.