tscholak / two-layer-networkLinks
Hasktorch two-layer network example project
☆13Updated 5 years ago
Alternatives and similar repositories for two-layer-network
Users that are interested in two-layer-network are comparing it to the libraries listed below
Sorting:
- A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.☆102Updated 3 years ago
- Practical Deep Learning in Haskell now!☆50Updated 3 years ago
- Many-dimensional type-safe numeric ops☆46Updated 4 years ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆193Updated 8 months ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆85Updated 9 months ago
- Neural Networks and Deep Learning☆33Updated 2 years ago
- Benchmark of the main linear algebra libraries in Haskell☆26Updated 5 years ago
- First-class type families☆90Updated 3 months ago
- Source for personal blog.☆78Updated this week
- ☆21Updated last month
- Haskell bindings to Apache Arrow☆12Updated 7 years ago
- Smash products, Wedge products, and other Pointed stuff☆35Updated 3 years ago
- Machine Learning Toolbox☆36Updated 7 years ago
- Haskell bindings to ArrayFire☆60Updated last year
- Proposed changes to Haskell Core Libraries☆19Updated 5 years ago
- The Geometric OptimizAtion Libraries☆17Updated 10 months ago
- Tensors in Haskell☆40Updated last month
- rewrite rules for type-level equalities☆62Updated 5 months ago
- Sort any Traversable container☆42Updated 3 years ago
- A gv file representing the relationships between various algebraic structures.☆19Updated 5 years ago
- A helpful companion to GHC. Overrides GHC messages, to the user's liking.☆32Updated 5 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆34Updated 6 years ago
- Moved to Haskell.org GitLab.☆61Updated 8 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆62Updated 2 years ago
- Deep learning via category theory and functional programming☆151Updated 5 years ago
- Serializable closures for distributed programming.☆66Updated 2 years ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Updated last year
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆72Updated last month
- ☆36Updated 4 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆84Updated 2 weeks ago