Page 57 of 1801 results
-
becompany/akka-social-stream 0.1.1
Scala versions: 2.11 -
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 -
uw-pharm/bitsad 0.5.2
A domain-specific language for bitstream computing
Scala versions: 2.12 -
philippus/zio-pekko-cluster 0.2.0
🌌 ZIO wrapper for Apache Pekko Cluster
Scala versions: 2.13