leopiney / tensor-safe
A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
☆102Updated 2 years ago
Alternatives and similar repositories for tensor-safe:
Users that are interested in tensor-safe are comparing it to the libraries listed below
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆188Updated 10 months ago
- Reexporting TensorFlow Haskell with dependent typed functions☆46Updated 5 years ago
- Machine Learning Toolbox☆36Updated 6 years ago
- Effects libraries in Haskell☆71Updated last year
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last year
- Practical Deep Learning in Haskell now!☆51Updated 2 years ago
- Tensors in Haskell☆40Updated 3 months ago
- Many-dimensional type-safe numeric ops☆46Updated 3 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆82Updated 8 years ago
- Generic random generators☆81Updated 2 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- Source for personal blog.☆77Updated last month
- dependent types meets deep learning☆43Updated 6 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆58Updated last year
- Extensional capabilities and deriving combinators☆215Updated 10 months ago
- Typed frontend to TensorFlow and higher-order deep learning☆156Updated 2 years ago
- A Haskell library for open records and variants using closed type families and type literals☆112Updated 2 years ago
- ⚡️Efficient implementation of Map with types as keys☆100Updated last year
- 📚 A softer alternative to Haddock☆106Updated 5 years ago
- A continuation-based backtracking logic programming monad☆89Updated 5 months ago
- The theory of algebraic graphs formalised in Agda☆89Updated 6 years ago
- Named parameters (keyword arguments) for Haskell☆94Updated last month
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Updated 4 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Updated 2 years ago
- A minimalistic, elegant and powerful approach to working with graphs in a functional programming language☆196Updated 3 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- Haskell library implementing "Data Types a la Carte"☆91Updated last year
- An implementation of Pie in Haskell☆205Updated 5 years ago
- Inspection Testing for Haskell☆176Updated 4 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆126Updated last year