- VRP-REP : plateforme contenant des instances de problèmes de tournées de véhicules.

- Thom Solver : génère un graphe qui est topologiquement équivalent au contour apparent d'une application lisse du plan dans le plan.

- Monge Solver : peut être utilisé pour rigoureusement encadrer le coût optimal d'un problème de transport de Kantorovitch.

- MinMaxGD : développement d'une librairie C++ pour le calcul sur les systèmes (max,+) linéaires, interface Scilab, traduction Javascript pour le calcul via un navigateur (téléchargements > 5000).
Auteurs : L. Hardouin, M. Lhommeau, B. Cottenceau, B. Gruet
les systèmes (max,+) linéaires peuvent être décrits par des séries formelles constituées de deux variables commutatives décrivant les opérateurs de décalage événementiel et temporel. La librairie MinMaxGD permet de réaliser des opérations rationnelles (somme, produit et étoile de Kleene) et des calculs de résiduation sur des matrices de séries rationnelles. Les résultats sont systématiquement fournis sous une forme canonique ultimement périodique (partie transitoire, motif périodique et périodicité).

- ContainerMinMaxGD : développement d'une librairie C++ pour le calcul approché sur les systèmes (min,+) linéaires et interface utilisateur avec interpréteur de commandes sous Linux.
Auteurs : E. Le Corronc, B. Cottenceau, L. Hardouin
La librairie MinMaxGD permet de décrire, de façon exacte, le transfert des systèmes (min,+) linéaires au moyen de séries formelles ultimement périodiques. La librairie ContainerMinMaxGD, développée pour valider les résultats de thèse d'Euriell Le Corronc (2011), propose une version ensembliste des calculs de MinMaxGD, ceci afin d'améliorer les temps de calcul.

- WBTEG Calculator : développement d'une librairie de calcul C++ pour les Graphes d'Evénements Temporisés Valués (Weight Balanced Timed Event Graphs) et interpréteur de commandes.
Auteurs : B. Cottenceau, L. Hardouin, J. Trunk
La représentation entrée-sortie des systèmes (max,+) linéaires a été étendue aux systèmes décrits par des Graphes d'Evénéments Temporisés Valués. Ces systèmes, non linéaires dans (max,+), peuvent néanmoins être décrits par une autre classe de séries formelles ultimement périodiques. La manipulation de ces « nouvelles » séries nécessite des outils de calcul adaptés. Le développement de cette librairie a commencé en 2012 (pour illustrer un travail publié en 2014) et est toujours en cours. L'objectif est d'avoir à terme les mêmes fonctionnalités que celles fournies par MinMaxGD (opérations rationnelles et résiduation)

- SLAM : l’algorithme de SLAM (Simultanous Localisation and Mapping) permet à un mobile de cartographier et de se localiser dans son environnement. Cet algorithme présente plusieurs propriétés remarquables dont la rapidité, la simplicité et la précision. L'algorithme peut également être utilisé pour localiser plusieurs mobiles (typiquement dans un contexte multirobot). Enfin, il peut aussi être étendu pour résoudre des problèmes de kidnapping ou de relocalisation.
   
Cet algorithme a fait l’objet d’un dépôt de brevet : " Generation of map data" pour la version internationale et "GENERATION DE DONNEES DE CARTE" pour le brevet français, 2019, Philippe Lucidarme; Sébastien Lagrange, brevet n° US10288425B2.

- pa_SLAM, ISTIASlam et autres, développés à partir du premier SLAM, en libre accès : https://github.com/rguyonneau?tab=repositories.

- (Event|Time)-Variant Operator : ETVO is a set of C++ classes to compute transfer series for Weighted Timed Event Graphs and for Timed Event Graphs with partial synchronizations.

- skgtimage ("scikit-graph-tools for image") : a graph based image interpretation method using a priori qualitative inclusion and photometric relationships.

- Vinter solver : peut être utilisé pour rigoureusement des bornes inférieures pour un problème de contrôle optimal. Auteur : N. Delanoue

- MaxplusPy : librairie Python pour des calculs dans l'algèbre max-plus et la manipulation d'automates max-plus. Auteur : S. Lahaye