8 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
bloop 1.5.17-1 16 0.02 Bloop gives you fast edit/compile/test workflows for Scala. TheElectronWill 2024-04-04 19:00 (UTC)
metals 1.2.2-1 9 0.16 Language Server For Scala isomarcte 2024-03-16 20:04 (UTC)
scala3 3.4.0-1 14 0.18 The Scala 3 compiler, also known as Dotty. mbloms 2024-03-06 04:30 (UTC)
scala-dotty 3.4.0-1 14 0.18 The Scala 3 compiler, also known as Dotty. mbloms 2024-03-06 04:30 (UTC)
stainless-git v0.9.8.1.r5.1890d8ca-1 1 0.00 Verification framework and tool for higher-order Scala programs sankalpgambhir 2023-10-24 12:26 (UTC)
eclair 0.9.0-1 1 0.00 A Scala implementation of the Lightning Network (GUI) pizzaman 2023-06-20 02:49 (UTC)
bloop-systemd 1.0.0-2 1 0.00 systemd service for Bloop TheElectronWill 2020-05-19 12:33 (UTC)
scala-ide 4.7.0-3 4 0.18 Scala IDE, the official IDE, stand-alone Eclipse-based version orphan 2019-02-03 01:26 (UTC)

8 packages found. Page 1 of 1.