
<html xmlns="http://www.w3.org/1999/xhtml">

<head>

<title></title>

</head>

<body>

<div name="messageBodySection" style="font-size: 14px; font-family: -apple-system, BlinkMacSystemFont, sans-serif;">Hello everyone,<br />

<br />

I’m happy to announce a preliminary release of what I called TensorSafe, a library to build structurally correct deep neural networks using dependent types in Haskell. Currently, it also provides the option to compile the models to external frameworks like Keras for Python or Keras JavaScript. I’ve built this as a part of what it is my capstone project to get my degree in computer engineering this year. I’ve learned a ton in a few months, especially thanks to projects like <a href="https://github.com/HuwCampbell/grenade">Grenade</a> and the <a href="https://mmhaskell.com/haskell-ai">MM Haskell blogs</a> 🙌<br />

<br />

I’m still working on details but I think it’s ready for anyone to take a look at it. Any feedback is welcome!<br />

<div>

<ul>

<li><a href="http://hackage.haskell.org/package/tensor-safe">http://hackage.haskell.org/package/tensor-safe</a><br /></li>

<li><a href="https://github.com/leopiney/tensor-safe">https://github.com/leopiney/tensor-safe</a></li>

</ul>

<div><br /></div>

<div>Thanks!<br /></div>

</div>

</div>

</body>

</html>