Did anyone try HTML5 using the Google Coder project for Raspberry Pi?
I'd paste the link but my rep is not high enough. Simply google the phrase "google coder for raspberry pi".
Develop games in your browser. Powerful, performant & highly capable.