shape-safety

There are 3 repositories under shape-safety topic.

  • kotlingrad

    breandan/kotlingrad

    🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

    Language:Kotlin530192521

  • SciScala/NDScala

    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

    Language:Scala47716
  • shapesafe

    tribbloid/shapesafe

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

    Language:Scala29824