Pinocchio to nowoczesna, wysokowydajna biblioteka algorytmów dynamiki rigid-body, kinematyki odwrotnej i Jacobianów dla robotyki, rozwijana od 2015 r. w LAAS-CNRS w Tuluzie i Inria, przez zespół Justin Carpentier, Nicolas Mansard, Olivier Stasse, Florent Lamiraux i innych. Licencja BSD-2-Clause.
Pinocchio jest sercem ekosystemu Stack of Tasks i wzorcową biblioteką dla francuskiej szkoły robotyki humanoidów (z robotami HRP, TALOS i Pyrene). Implementuje algorytmy Roya Featherstone'a (RNEA — Recursive Newton-Euler Algorithm, CRBA — Composite Rigid Body Algorithm, ABA — Articulated Body Algorithm) ze starannie zoptymalizowaną pamięcią cache. Wspiera spatial algebra w postaci 6D twists/wrenches.
Kluczowe zastosowania: model predictive control (MPC) dla humanoidów (Crocoddyl, używany przez Boston Dynamics — nieoficjalnie — i ANYbotics), task-space inverse dynamics (TSID), automatyczne różniczkowanie analityczne (CasADi integration) dla optymalizacji trajektorii, RL z modelami symbolicznymi. API: C++17 (natywne) i Python (pinocchio package). Standard w europejskich projektach badawczych (EUROBENCH, MEMMO, AGIMUS).