Gamvas Web is a open source HTML5 canvas JavaScript game development framework with game states, animations, Box2D physics integration, particle emitters and more.
This shows a little bit about the Box2D integration. Full source of the demo is included with the engine.