eclipse-theia /theiaTypeScript22K2.9KEclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.ideeditorlanguage-server-protocolelectron