Box2D

物理計算エンジン。C++、AS3、Javaとか色んな言語で使える。

iPadのアリスのギミックはこれで作ってるっぽい。サンプル見た限り同じような動作するのがいくつもあった。

http://box2d.svn.sourceforge.net/viewvc/box2d/tags/Box2D-2.0.2/
サンプルはここにある（trunk版はビルドエラー）。Build/iPhoneにあるxcodeproj。