The Cocos2d-x (Cocos2d api in C++ with a bunch of supported platforms[1]) has had Cocos2d-HTML5[2] for a while.
It uses the same api as their JavaScript bindings and there are some demos of complete games running on both from the same platform.
(Disclaimer I am one of the founders of Game Closure) Game Closure provides a complete HTML5/Web/Native game development SDK with a larger focus on tooling than these projects[3]. The website is a little light on details - send me mail if you're interested!
[1] http://www.cocos2d-x.org/projects/cocos2d-x/wiki/Download [2] http://www.cocos2d-x.org/projects/cocos2d-x/wiki/Html5 [3] http://gameclosure.com/