Page 99 of 3459 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 -
astutebits/akka-persistence-r2dbc 0.3.0
A reactive Akka Persistence storage backend with R2DBC
Scala versions: 2.13 2.12 -
trace4cats/trace4cats-components 0.14.0
Deployable Trace4Cats Components
Scala versions: 2.13 -
scala-cli/scala-cli-signing 0.1.14
Scala-based CLI to create PGP keys, sign files, and verify signatures, using bouncycastle
Scala versions: 3.x 2.13 -
fburato/highwheel-modules 2.3.0
Bytecode based architecture verification
Scala versions: 2.13 2.12