6 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
metals 1.3.5-1 10 0.16 Language Server For Scala isomarcte 2024-10-03 15:29 (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 2.0.3-1 15 0.00 Bloop gives you fast edit/compile/test workflows for Scala. TheElectronWill 2024-10-09 19:00 (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.9.0-1 1 0.00 A Scala implementation of the Lightning Network (GUI) pizzaman 2023-06-20 02:49 (UTC)

6 packages found. Page 1 of 1.