box2d?

Wasn't sure if I should use "Issues" to report this. But just wondered why Box2d isn't listed. It's been around years, but I wondered if it was left out intentionally. Personally, I am looking here for an alternative to box2d.