Explore projects

Set of tools for the Gepetto Team

https://github.com/stack-of-tasks/pinocchio

Diades is a collection of academic tools that deal with the problem of discrete event systems.

Petri net library

Source code of ddpetri: used as a submodule

Finite State Machine library (Automata)

C++ library of directed graphs

Standalone Library of C++ utilities from ddutils_subm

Source code of ddgraph. Used as a submodule.

Software Development Dashboard, http://rainboard.laas.fr