[tooldepth]

Jupyterlab is really nice, too! A significant difference is that it is deeply integrated with jupyter notebooks. So it really targets data scientists working with jupyter. Theia is more general, by being a platform for all kinds of IDEs and tools. They could have built Jupyterlab on top of Theia but not the other way around.