leopiney / tensor-safe
A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
☆101Updated last year
Related projects ⓘ
Alternatives and complementary repositories for tensor-safe
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆181Updated 4 months ago
- Reexporting TensorFlow Haskell with dependent typed functions☆46Updated 5 years ago
- Many-dimensional type-safe numeric ops☆46Updated 2 years ago
- Practical Deep Learning in Haskell now!☆50Updated 2 years ago
- Haskell bindings to ArrayFire☆60Updated 3 months ago
- Stream editing with Haskell Megaparsec parsers☆79Updated 5 months ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆83Updated last year
- Tensors in Haskell☆40Updated 3 weeks ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 4 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 3 years ago
- Effects libraries in Haskell☆72Updated last year
- Generic random generators☆81Updated last year
- Source for personal blog.☆76Updated last week
- Named parameters (keyword arguments) for Haskell☆90Updated 3 weeks ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆68Updated last month
- dependent types meets deep learning☆42Updated 5 years ago
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 3 years ago
- CQL: Categorical Query Language implementation in Haskell☆163Updated last year
- Comma (and other) separated values☆76Updated last year
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆79Updated 3 weeks ago
- Haskell library for semigroup actions and torsors☆57Updated 9 months ago
- Interpret Haskell programs into any cartesian closed category.☆57Updated last week
- A magic typeclass that just does it☆124Updated 2 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆66Updated 6 months ago
- ⚡️Efficient implementation of Map with types as keys☆100Updated 10 months ago
- Fast equality saturation in Haskell☆77Updated 6 months ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆78Updated 8 years ago
- A structured concurrency library☆83Updated 4 months ago