1
Theia
Theia meets exactly all the mentioned requirements and much more.
You can run it on desktop and on cloud and it's open source. Incredible project!
https://www.theia-ide.org/
Only top voted, non community-wiki answers of a minimum length are eligible
