tensor-safe (hackage): 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.
Keywords: ai|bsd3|dependent-types|language|library|program|deep-learning|functional-programming|haskell|haskell-library|machine-learning