helq / tensorflow-haskell-deptyped
Reexporting TensorFlow Haskell with dependent typed functions
☆46Updated 5 years ago
Alternatives and similar repositories for tensorflow-haskell-deptyped:
Users that are interested in tensorflow-haskell-deptyped are comparing it to the libraries listed below
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 5 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Generic random generators☆81Updated 2 years ago
- Tensors in Haskell☆40Updated 3 months ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- dependent types meets deep learning☆43Updated 6 years ago
- Priority Search Queues in three different flavors for Haskell☆66Updated 2 months ago
- Many-dimensional type-safe numeric ops☆46Updated 3 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 2 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆79Updated last month
- A hip inductive theorem prover!