Page 59 of 1864 results
-
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 -
philippus/zio-pekko-cluster 0.2.0
🌌 ZIO wrapper for Apache Pekko Cluster
Scala versions: 2.13 -
entrolution/bengal-stm 0.13.0
Software Transactional Memory for Cats Effect with intelligent scheduling to reduce contention
Scala versions: 3.x 2.13 -
coxautomotivedatasolutions/vegalite4s 0.4
Vega-Lite4s is a small library over the comprehensive Vega-Lite Javascript visualisation library, allowing you to create beautiful Vega-Lite visualisations in Scala
Scala versions: 2.12 2.11