7 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
metals 1.5.2-1 11 0.57 Language Server For Scala isomarcte 2025-04-01 14:33 (UTC)
coursier-bin 2.1.24-1 1 0.56 Pure Scala Artifact Fetching Dominiquini 2025-04-17 17:51 (UTC)
bloop 2.0.10-1 16 0.09 Bloop gives you fast edit/compile/test workflows for Scala. gonsolo 2025-05-15 07:30 (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)
stainless-git v0.9.9.0.r12.5181f09b-1 1 0.00 Verification framework and tool for higher-order Scala programs sankalpgambhir 2025-01-22 10:04 (UTC)
eclair 0.11.0-1 1 0.00 A Scala implementation of the Lightning Network (GUI) pizzaman 2024-12-17 04:31 (UTC)
bloop-systemd 1.0.0-2 1 0.00 systemd service for Bloop TheElectronWill 2020-05-19 12:33 (UTC)

7 packages found. Page 1 of 1.