Alternatives and similar repositories for Compositional_Deep_Learning:

Users that are interested in Compositional_Deep_Learning are comparing it to the libraries listed below

• mstksg / backprop
  Heterogeneous automatic differentiation ("backpropagation") in Haskell
  ☆185Updated 7 months ago
• sentenai / reinforce
  Reinforcement learning in haskell
  ☆45Updated 4 years ago
• ToposInstitute / poly
  ☆113Updated 6 months ago
• abarbu / haskell-torch
  Practical Deep Learning in Haskell now!
  ☆50Updated 2 years ago
• statebox / idris-ct
  formally verified category theory library
  ☆260Updated 4 years ago
• 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
• austinvhuang / awesome-haskell-deep-learning
  In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.
  ☆294Updated 3 years ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆62Updated 10 months ago
• DataHaskell / dh-core
  Functional data science
  ☆140Updated 3 years ago
• tweag / monad-bayes
  A library for probabilistic programming in Haskell.
  ☆416Updated last week
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated last year
• doofin / differentiable-idris
  dependent types meets deep learning
  ☆43Updated 6 years ago
• mattecapu / awesome-double-categories
  A list of works and resources about double category theory, with a particular focus on applications.
  ☆25Updated 2 years ago
• GU-CLASP / TypedFlow
  Typed frontend to TensorFlow and higher-order deep learning
  ☆156Updated 2 years ago
• brunjlar / neural
  Neural Nets in native Haskell
  ☆124Updated 4 years ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆55Updated 2 years ago
• helq / tensorflow-haskell-deptyped
  Reexporting TensorFlow Haskell with dependent typed functions
  ☆46Updated 5 years ago
• prathyvsh / morphisms-of-computational-structures
  A visual catalogue + story of morphisms displayed across computational structures.
  ☆123Updated 2 years ago
• conal / talk-2018-essence-of-ad
  The simple essence of automatic differentiation
  ☆198Updated 4 years ago
• statebox / cql
  CQL: Categorical Query Language implementation in Haskell
  ☆166Updated last year
• mstksg / inCode
  Source for personal blog.
  ☆77Updated 2 weeks ago
• nshepperd / funn
  Funn: Functional Neural Networks in Haskell
  ☆25Updated 5 years ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆87Updated this week
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆72Updated 4 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆343Updated 2 months ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆289Updated last year
• snowleopard / alga-paper
  A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
  ☆195Updated 3 years ago
• ocramz / sparse-linear-algebra
  Numerical computation in native Haskell
  ☆90Updated 4 years ago
• tscholak / two-layer-network
  Hasktorch two-layer network example project
  ☆13Updated 4 years ago