It currently implements various rigid-body dynamics algorithms, including forward and inverse dynamics, as well as contact models based on impulse-level LCP and force-based nonlinear spring-dampers.

Every Python developer knows some or all of these libraries, because they’re stable, reliable, and excellent at what they do.