shape-safety

There are 0 repository under shape-safety topic.

• kotlingrad

  breandan / kotlingrad

  🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

  automatic-differentiationdifferentiable-programmingcomputer-algebrakotlintypesshape-safetymulti-stage-programmingsymbolic-differentiationoptimizationgradient-descentalgebraic-data-typesarray-programmingmessage-passinglinear-algebrachinese
  Language:Kotlin 509

• 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

  scalanumpydottyscala3ndarraytensorshape-safetynamed-tensormachine-learningnumerical-computingmatrixneural-networksn-dimensional-arrayscala-3array-programmingmulti-dimensional-array
  Language:Scala 47
• shapesafe

  tribbloid / shapesafe

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

  linear-algebramachine-learningprogram-verificationscalashape-safetytype-theory
  Language:Scala 25