stack-of-tasks / pinocchio

A fast and flexible implementation of Rigid Body Dynamics algorithms and their analytical derivatives

coin-or / CppAD

A C++ Algorithmic Differentiation Package: Home Page