repo1.maven.org "shape-safety" keyword
View the packages on the repo1.maven.org package registry that are tagged with the "shape-safety" keyword.
ai.hypergraph:kotlingrad-jvm 0.4.7 š°
Differentiable Functional Programming with Algebraic Data Types1 version - Latest release: over 3 years ago - 1 dependent package - 486 stars on GitHub
ai.hypergraph:kotlingrad 0.4.7 š°
Differentiable Functional Programming with Algebraic Data Types2 versions - Latest release: over 3 years ago - 3 dependent repositories - 486 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 3 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 3 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 3 years ago - 17 stars on GitHub
Related Keywords
linear-algebra
5
type-theory
3
scala
3
program-verification
3
machine-learning
3
types
2
symbolic-differentiation
2
optimization
2
multi-stage-programming
2
message-passing
2
kotlin
2
gradient-descent
2
differentiable-programming
2
computer-algebra
2
chinese
2
automatic-differentiation
2
array-programming
2
algebraic-data-types
2