Page 100 of 3538 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 -
scleradb/sclera 4.0
Streaming data processor with a simple plugin framework and a modernized SQL interface.
Scala versions: 2.13 -
lefou/mill-osgi 0.5.0
OSGi Support for Mill build tool
Scala versions: 2.13 2.12Mill plugins: 0.11 0.10 0.9 0.7 0.6