Page 59 of 1892 results
-
gchudnov/mindthegap 2.0.0
Intervals, Relations, and Algorithms
Scala versions: 3.x -
killaitis/http4s-cloud-functions 0.4
Run your Http4s app as a Google Cloud Function
Scala versions: 2.13 -
leoprover/scala-tptp-parser 1.7.4
A parser for the TPTP logic languages for automated theorem proving written in Scala
Scala versions: 2.13