Page 92 of 3069 results
-
leoprover/scala-tptp-parser 1.7.3
A parser for the TPTP logic languages for automated theorem proving written in Scala
Scala versions: 2.13 -
trace4cats/trace4cats-components 0.14.0
Deployable Trace4Cats Components
Scala versions: 2.13 -
fburato/highwheel-modules 2.3.0
Bytecode based architecture verification
Scala versions: 2.13 2.12 -
scala-steward-org/mill-plugin 0.18.2
Mill plugin to export dependency information to be processed by Scala-Steward
Scala versions: 2.13 2.12Mill plugins: 0.11 0.10 0.9 0.7 0.6 -
theelectronwill/niol 2.0.1
NIO Library for lightweight networking
Scala versions: 2.13 2.12