<div dir="ltr">I want to announce my first haskell project big/clean enough so I consider it possibly useful to others - accelerate-typelits is a library that provides vectors/matrices in a typesafe way - i.e. The dimension of the entities are stored on type level as (Nats).<div><div><br></div><div>There is basic vector/matrix functionality, documentation and tests for those functions (mostly properties). If I have time I will provide some basic examples and a bit more complicated example within the next week.</div><div><br></div><div>It is available on hackage <a href="https://hackage.haskell.org/package/accelerate-typelits">https://hackage.haskell.org/package/accelerate-typelits</a> as well as on github <a href="https://github.com/epsilonhalbe/accelerate-typelits">https://github.com/epsilonhalbe/accelerate-typelits</a>.</div><div><br></div><div>I would be happy to get some feedback.</div><div><br></div><div>- Martin</div><div><br></div></div></div>