You named them already, that's pretty much it.

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.

There's Codenvy[0], whose beta is built upon Eclipse's new Che[1], which can also be self-hosted.

[0]: https://codenvy.com/

[1]: http://www.eclipse.org/che/

SourceLair, ShiftEdit

recently, there is hyperdev

http://hyperdev.com/