How about Koding? I always thought of Koding to have a similar proposition.

I was looking at their site today and they claim 1,000,000 users on their website. How many developers are in the world? 11 million or so? So about 9% of world developers use Koding and somehow I have missed pretty much all of them.