shape-safety

Here are 3 public repositories matching this topic...

breandan / kotlingrad

🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

kotlin types computer-algebra optimization linear-algebra automatic-differentiation algebraic-data-types chinese gradient-descent message-passing symbolic-differentiation differentiable-programming multi-stage-programming array-programming shape-safety

Updated Apr 11, 2023
Kotlin

SciScala / NDScala

Star

N-dimensional / multi-dimensional arrays (tensors) in Scala 3. Think NumPy ndarray / PyTorch Tensor but type-safe over shapes, array/axis labels & numeric data types

machine-learning scala numpy matrix neural-networks ndarray tensor dotty scala3 multi-dimensional-array numerical-computing scala-3 array-programming named-tensor shape-safety n-dimensional-array

Updated Dec 22, 2022
Scala

tribbloid / shapesafe

Star

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

machine-learning scala linear-algebra type-theory program-verification shape-safety

Updated Mar 24, 2024
Scala

Improve this page

Add a description, image, and links to the shape-safety topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the shape-safety topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly