张量安全:Haskell框架定义有效的深度学习模型并将其导出到TensorFlow JS或Keras等其他框架 源码

张量安全 tensor-safe是一个依赖类型的框架,用于定义深度学习模型,其结构在编译时已得到验证。 如果模型有效,则可以将其编译为外部框架,例如Python或JavaScript中的Keras框架。 安装说明 使用cabal new-install安装tensor-safe可执行文件 cabal new-install tensor-safe 安装tensor-safe库 cabal new-install tensor-safe --lib 建筑说明和开发工具 通过stack install安装ghc-mod , hpack和hpack stylish-haskell cd ~ st