drake
Conception et vérification basées sur des modèles pour la robotique.
Concevez et vérifiez des systèmes robotiques en utilisant une approche basée sur des modèles.
Revendiquez sa page : indexée quel que soit son rang, traduite en six langues, et enrichie de vos propres mots.
Recevez une alerte par e-mail à sa prochaine version ou quand il décolle — ne ratez plus rien.
Gratuit · sans carte · désinscription à tout momentConception et vérification basées sur des modèles pour la robotique.
drake compte 4.1k étoiles sur GitHub. Il a été forké 1.4k fois. drake est écrit principalement en C++. Il est développé activement depuis 2014. Ses principaux thèmes sont : drake, robotics.
Qu'est-ce que drake ?
Conception et vérification basées sur des modèles pour la robotique.
drake est-il open source ?
drake est un projet open source.
drake est-il gratuit ?
Oui. drake est gratuit et open source — vous pouvez l'utiliser, le modifier et l'héberger vous-même.
Dans quel langage drake est-il écrit ?
drake est écrit principalement en C++.
Ajoutez ce badge en direct à votre README — vos étoiles GitHub et votre classement dans le répertoire, actualisés quotidiennement.
[](https://olud.ai/project/robotlocomotion-drake.html)
Mesuré à partir des topics GitHub communs aux deux projets, pondérés par leur rareté.