Scala language server with rich IDE features
A Git platform powered by Scala
IntelliJ IDEA & IntelliJ Platform
A high velocity web framework
Adaptable, fast automation for all
Rainbow Brackets for IntelliJ based IDEs/Android Studio/HUAWEI DevEco
Web development IDE in browser, supports Java, ruby, javascript...etc
Eclipse integration for Isabelle proof assistant