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
type-theory
shape-safety
linear-algebra
program-verification
machine-learning

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)