Explore projects

Petri net library

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

Finite State Machine library (Automata)

C++ library of directed graphs

Source code of ddgraph. Used as a submodule.

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

Standalone Library of C++ utilities from ddutils_subm

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

A set of plugins used to customize and improve the Wagtail form builder in a modular way.

Git mirror of the official Crocoddyl's repository -- PULL REQUEST MUST BE SENT TO: https://github.com/loco-3d/crocoddyl

package for the simulation of the Ouster OS1-64 with ros and gazebo.