Box2D Flash Alchemy Port is an AS3 interface to the Box2D C++ 2D physics engine compiled with Adobe Alchemy.
World Construction Kit is is a toolset / framework for rapidly developing physics based games / websites within the Flash IDE. WCK allows you to layout your 2d worlds / game levels entirely within Flash and have them hook into the physics simulation without writing any code.