tensor-safe

Version 0.1.0.1 revision 0 uploaded by leopiney.

Package meta

Synopsis
Create valid deep neural network architectures
Description

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.

Author
Leonardo Pineyro
Bug reports
https://github.com/leopiney/tensor-safe/issues
Category
AI, Dependent Types, Language, Library, Program
Copyright
2019 Leonardo Pineyro
Homepage
https://github.com/leopiney/tensor-safe#readme
Maintainer
leopiney@gmail.com
Package URL
n/a
Stability
n/a

Components