tribbloid / shapesafe

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

Alternatives and similar repositories for shapesafe:

Users that are interested in shapesafe are comparing it to the libraries listed below