tribbloid / shapesafe 0.1.4

Apache License 2.0 GitHub

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

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

Scala versions: 2.13

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)