pinocchio  2.2.1-dirty
QP (normal forces) unilateral contact dynamics (if we can write it concise enough)

Python

1 # write python example here

C++

// write cpp example here