Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
repo1.maven.org : ai.acyclic.shapesafe:shapesafe-core_2.13
SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
Registry
-
Source
- Documentation
- JSON
purl: pkg:maven/ai.acyclic.shapesafe/shapesafe-core_2.13
Keywords: linear-algebra, machine-learning, program-verification, scala, shape-safety, type-theory
License: Apache-2.0
Latest release: about 2 years ago
First release: over 2 years ago
Namespace: ai.acyclic.shapesafe
Stars: 17 on GitHub
Forks: 4 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 21 days ago
ai.acyclic.shapesafe:shapesafe-macro_2.13 0.1.4
SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitio...5 versions - Latest release: about 2 years ago - 1 dependent package - 17 stars on GitHub
ai.acyclic.shapesafe:shapesafe-graph-commons_2.13 0.1.4
SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitio...5 versions - Latest release: about 2 years ago - 1 dependent package - 17 stars on GitHub