Home » ai.acyclic » shapesafe

Group: Acyclic Shapesafe
Sort by:Popular▼

1. Shapesafe1 usages

ai.acyclic.shapesafe » shapesafe-macroApache

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

2. Shapesafe1 usages

ai.acyclic.shapesafe » shapesafe-graph-commonsApache

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

3. Shapesafe

ai.acyclic.shapesafe » shapesafe-coreApache

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