Hermann is a project mainly written in ..., it's free.

collision detection framework for convex polyhedra