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: ⓘ
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆180Updated 2 months ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆83Updated last year
- Practical Deep Learning in Haskell now!☆49Updated last year
- Reexporting TensorFlow Haskell with dependent typed functions☆46Updated 5 years ago
- Many-dimensional type-safe numeric ops☆46Updated 2 years ago
- dependent types meets deep learning☆42Updated 5 years ago
- Tensors in Haskell☆40Updated 3 months ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆78Updated 4 months ago
- A Haskell library for open records and variants using closed type families and type literals☆112Updated 2 years ago
- Generic random generators☆81Updated last year
- Stream editing with Haskell Megaparsec parsers☆79Updated 3 months ago
- Machine Learning Toolbox☆35Updated 6 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆68Updated last month
- They see me rollin'. They're Heyting. Patrollin' and tryna catch me ridin' dirty. -- Chamillionaire, 2005☆82Updated 3 years ago
- ⚡️Efficient implementation of Map with types as keys☆99Updated 8 months ago
- Haskell language tools for Python☆157Updated 4 years ago
- Source for personal blog.☆77Updated last week
- Typed frontend to TensorFlow and higher-order deep learning☆156Updated 2 years ago
- constraint level if statements☆110Updated 6 years ago
- Efficient Haskell effect handlers based on evidence translation.☆80Updated 3 years ago
- Haskell library implementing "Data Types a la Carte"☆89Updated 11 months ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 7 years ago
- ☆42Updated this week
- Hypertypes - generic programming for heterogeneous recursive types☆111Updated last week
- Haskell bindings to ArrayFire☆60Updated last month
- A Python backend for PureScript.☆119Updated 2 years ago
- Named parameters (keyword arguments) for Haskell☆92Updated last year
- Effects libraries in Haskell☆73Updated last year
- Extensional capabilities and deriving combinators☆214Updated 2 months ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago