Page 92 of 9270 results
-
tecsisa/constructr-consul 0.9.0
This library enables to use Consul as cluster coordinator in a ConstructR based node
Scala versions: 2.12 2.11 -
uuverifiers/ostrich 1.4.1
An SMT Solver for string constraints
Scala versions: 2.13 2.12 2.11 -
tribbloid/shapesafe 0.1.4
SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
Scala versions: 2.13 -
battermann/sbt-json 0.3.1
sbt plugin that generates Scala case classes for easy, statically typed and implicit access of JSON data e.g. from API responses
Scala versions: 2.10sbt plugins: 0.13 -
scala-rules/rule-engine 0.5.1
Forward chaining rule engine with an extensible DSL
Scala versions: 2.11