Spring | Tools
https://spring.io/tools
【5分钟玩转Lighthouse】Theia IDE - 知乎
https://zhuanlan.zhihu.com/p/265646097
theia: Theia（全名Eclipse Theia）是一个可扩展的平台，用于使用最新的Web技术开发多语言的云端和桌面的 IDE
https://gitee.com/mirrors/theia
Theia - Cloud and Desktop IDE Platform
https://theia-ide.org/