breandan / kotlingrad Sponsor Star 519 Code Issues Pull requests 🧩 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 48 Code Issues Pull requests 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 26 Code Issues Pull requests Discussions 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