Page 58 of 1779 results
-
leoprover/scala-tptp-parser 1.7.1
A parser for the TPTP logic languages for automated theorem proving written in Scala
Scala versions: 2.13 -
carlosedp/mill-aliases 0.6.0
A Scala Mill plugin adding task aliases to the build configuration
Scala versions: 2.13Mill plugins: 0.11 0.10 -
scalalandio/log4effect 0.1.0
Cats Effect syntax for logging
Scala versions: 2.13 2.12 2.11 -
edadma/liquescent 0.2
Liquid template engine for Scala
Scala versions: 2.12