Page 93 of 9333 results
-
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 -
thoughtworksinc/feature.scala 2.3.0
Access Scala language features on the type-level
Scala versions: 2.12 2.11Scala.js versions: 0.6 -
coreyauger/reactive-gremlin 0.0.1
akka http gremlin 3 websocket connector
Scala versions: 2.11 -
ilya-klyuchnikov/mrsc 0.5.2
A toolkit for building multi-result supercompilers
Scala versions: 2.12