Dont forget the excellent port of Chipmunk 2d available here : http://www.par-com.net/~paulr/GLScene/