Pinocchio is a modern, high-performance library of rigid-body dynamics algorithms, inverse kinematics, and Jacobians for robotics, developed since 2015 at LAAS-CNRS in Toulouse and Inria, by the team of Justin Carpentier, Nicolas Mansard, Olivier Stasse, Florent Lamiraux, and others. BSD-2-Clause license.
Pinocchio is the heart of the Stack of Tasks ecosystem and the reference library for the French school of humanoid robotics (with the HRP, TALOS, and Pyrene robots). It implements Roy Featherstone's algorithms (RNEA — Recursive Newton-Euler Algorithm, CRBA — Composite Rigid Body Algorithm, ABA — Articulated Body Algorithm) with carefully cache-optimized memory layouts. It supports spatial algebra in the form of 6D twists/wrenches.
Key applications: model predictive control (MPC) for humanoids (Crocoddyl, used by Boston Dynamics — unofficially — and ANYbotics), task-space inverse dynamics (TSID), analytical automatic differentiation (CasADi integration) for trajectory optimization, RL with symbolic models. APIs: C++17 (native) and Python (pinocchio package). The standard in European research projects (EUROBENCH, MEMMO, AGIMUS).