Rainbow Brackets for IntelliJ based IDEs/Android Studio/HUAWEI DevEco
Adaptable, fast automation for all
A high velocity web framework
A Git platform powered by Scala
A Scala kernel for Jupyter
Elasticsearch Scala Client - Reactive, Non Blocking, Type Safe, HTTP
Web development IDE in browser, supports Java, ruby, javascript...etc
Eclipse integration for Isabelle proof assistant