6 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
bloop 2.0.3-1 16 0.65 Bloop gives you fast edit/compile/test workflows for Scala. TheElectronWill 2024-10-09 19:00 (UTC)
metals 1.4.1-1 10 0.08 Language Server For Scala isomarcte 2024-12-07 11:42 (UTC)
scala-ide 4.7.0-3 4 0.00 Scala IDE, the official IDE, stand-alone Eclipse-based version orphan 2019-02-03 01:26 (UTC)
bloop-systemd 1.0.0-2 1 0.00 systemd service for Bloop TheElectronWill 2020-05-19 12:33 (UTC)
stainless-git v0.9.8.9.r0.00103687f-1 1 0.00 Verification framework and tool for higher-order Scala programs sankalpgambhir 2024-10-23 07:08 (UTC)
eclair 0.11.0-1 1 0.00 A Scala implementation of the Lightning Network (GUI) pizzaman 2024-12-17 04:31 (UTC)

6 packages found. Page 1 of 1.