I have used codebender.cc and as I wrote in my initial response, I found that the Chrome app appeared to take over the port that my Arduboy was connected to. This interfered with my using the arduino IDE (on Linux). I didn’t bother to debug the problem, I just removed the Chrome app.
I like the idea of having a web IDE, but it’s sort of anti-retro to require an always onilne connection to work. (again, my opinion).
A stand-alone game manager IF done right, could be nice. Also allowing the capturing and sharing of .hex files helps protect against library mis-matches.
I played a little bit tonight with avrgirl https://www.npmjs.com/package/avrgirl-arduino – it is able to flash a .hex file but fails to do so fairly often. I might take a look at the node.js code to see if there are some bugs in their leonardo handling code. I got a variety of errors (again under Linux) - reset failures, SEGVs, etc. Repeated attempts to flash a .hex file did result in it working just fine… but that’s not a good user experience.