|
intellij-idea-ce
|
2023.1.2-1 |
47 |
1.01
|
An intelligent IDE for Java, Groovy and other programming languages with advanced refactoring features intensely focused on developer productivity. |
navarroaxel
|
2023-05-16 18:44 (UTC) |
|
bloop
|
1.5.6-1 |
15 |
0.30
|
Bloop gives you fast edit/compile/test workflows for Scala. |
TheElectronWill
|
2022-12-07 19:00 (UTC) |
|
bloop-systemd
|
1.0.0-2 |
1 |
0.24
|
systemd service for Bloop |
TheElectronWill
|
2020-05-19 12:33 (UTC) |
|
stainless-git
|
v0.9.6.r10.3ef64d07-1 |
1 |
0.01
|
Verification framework and tool for higher-order Scala programs |
sankalpgambhir
|
2022-10-18 15:34 (UTC) |
|
scala3
|
3.1.1-1 |
12 |
0.00
|
The Scala 3 compiler, also known as Dotty. |
mbloms
|
2022-02-22 11:21 (UTC) |
|
scala-dotty
|
3.1.1-1 |
12 |
0.00
|
The Scala 3 compiler, also known as Dotty. |
mbloms
|
2022-02-22 11:21 (UTC) |
|
eclair
|
0.8.0-1 |
1 |
0.00
|
A Scala implementation of the Lightning Network (GUI) |
pizzaman
|
2022-12-04 03:08 (UTC) |
|
scala-ide
|
4.7.0-3 |
3 |
0.00
|
Scala IDE, the official IDE, stand-alone Eclipse-based version |
aspirogrammer
|
2019-02-03 01:26 (UTC) |
|
ncurses-nohex
|
6.2-1 |
0 |
0.00
|
System V Release 4.0 curses emulation library. Patch disables hexadecimal in infocmp. |
mbloms
|
2020-04-14 08:54 (UTC) |
|
metals
|
0.11.12-1 |
8 |
0.00
|
Language Server For Scala |
isomarcte
|
2023-06-01 15:50 (UTC) |
|
infocmp-nohex
|
6.2-1 |
0 |
0.00
|
infocmp patched to not use hexadecimal when they are "close" to a power of two |
mbloms
|
2020-04-14 08:54 (UTC) |
|
ensime-server
|
1.0.0-1 |
1 |
0.00
|
ENSIME server |
kstep
|
2016-08-10 09:09 (UTC) |