Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
repo1.maven.org "program-verification" keyword
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
ai.acyclic.shapesafe:shapesafe-core_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 - 17 stars on GitHub
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
Related Keywords