These were only 2 examples, there are like 10 other companies out there that do the same. Cloud 9 was/is open source as well so you can install it on your own servers.