Page 2 of 1825 results
-
tribbloid/shapesafe 0.1.4
SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
Scala versions: 2.13 -
sbt/sbt-jupiter-interface 0.15.1
Implementation of sbt's test interface for JUnit 5's Jupiter module
Scala versions: 2.12sbt plugins: 1.x -
pathikrit/better-files 3.9.2
Simple, safe and intuitive Scala I/O
Scala versions: 3.x 2.13 2.12 2.11 -
typelevel/cats-effect 3.6.3
The pure asynchronous runtime for Scala
Scala versions: 3.x 2.13 2.12Scala.js versions: 1.xScala Native versions: 0.4 -
microsoft/synapseml 1.0.13
Simple and Distributed Machine Learning
Scala versions: 2.12 -
joernio/joern 4.0.415
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
Scala versions: 3.x -
softwaremill/macwire 2.6.7
Zero-cost, compile-time, type-safe dependency injection library.
Scala versions: 3.x 2.13 2.12Scala.js versions: 1.xScala Native versions: 0.5