pinocchio  2.6.3
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