hackage.haskell.org : tensor-safe
TensorSafe provides a very simple API to create deep neural networks structures which are validated using Dependent Types. Given a list of Layers and an initial Shape, TensorSafe is able to check and corroborate the structure of the network. Also, it's possible to extract the definition and compile it to a target language like Python and JavaScript.
Registry
-
Source
- Homepage
- JSON
purl: pkg:hackage/tensor-safe
Keywords:
ai
, bsd3
, dependent-types
, language
, library
, program
, Propose Tags
, deep-learning
, functional-programming
, haskell
, haskell-library
, machine-learning
License: BSD-3-Clause
Latest release: about 6 years ago
First release: over 6 years ago
Downloads: 956 total
Stars: 102 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 9 days ago