pinocchio  2.4.0-dirty
A fast and flexible implementation of Rigid Body Dynamics algorithms and their analytical derivatives
QP (normal forces) unilateral contact dynamics (if we can write it concise enough)

Python

# write python example here

C++

// write cpp example here