tribbloid / shapesafe 0.1.4

GitHub

SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory

shape-safety
machine-learning
scala
type-theory
program-verification
linear-algebra

Latest version

[![shapesafe-core Scala version support](https://index.scala-lang.org/tribbloid/shapesafe/shapesafe-core/latest.svg](https://index.scala-lang.org/tribbloid/shapesafe/shapesafe-core)

JVM badge

[![shapesafe-core Scala version support](https://index.scala-lang.org/tribbloid/shapesafe/shapesafe-core/latest-by-scala-version.svg?platform=jvm](https://index.scala-lang.org/tribbloid/shapesafe/shapesafe-core)