Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: shape-safety

breandan/kotlingrad

šŸ§© Shape-Safe Symbolic Differentiation with Algebraic Data Types

Language: Kotlin - Size: 288 MB - Last synced at: 11 days ago - Pushed at: 4 months ago - Stars: 534 - Forks: 21

tribbloid/shapesafe

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

Language: Scala - Size: 7.81 MB - Last synced at: 16 days ago - Pushed at: about 1 year ago - Stars: 32 - Forks: 4

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: Scala - Size: 182 KB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 47 - Forks: 6

Related Keywords
shape-safety 3 scala 2 array-programming 2 machine-learning 2 linear-algebra 2 type-theory 1 dotty 1 matrix 1 multi-dimensional-array 1 n-dimensional-array 1 named-tensor 1 ndarray 1 neural-networks 1 numerical-computing 1 numpy 1 scala-3 1 scala3 1 tensor 1 program-verification 1 types 1 symbolic-differentiation 1 optimization 1 multi-stage-programming 1 message-passing 1 kotlin 1 gradient-descent 1 differentiable-programming 1 computer-algebra 1 chinese 1 automatic-differentiation 1 algebraic-data-types 1