Dépôts open source suivis de RobotLocomotion, triés par étoiles.
Conception et vérification basées sur des modèles pour la robotique.
