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: 22 days ago