Page 217 of 8411 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 -
liftmodules/amqp 1.5.0
Lift Advanced Message Queuing Protocol (AMQP) support
Scala versions: 2.12 2.11 -
trace4cats/trace4cats-components 0.14.0
Deployable Trace4Cats Components
Scala versions: 2.13