bgavran / Compositional_Deep_Learning
Deep learning via category theory and functional programming
☆138Updated 4 years ago
Related projects: ⓘ
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆180Updated 2 months ago
- Reinforcement learning in haskell☆44Updated 3 years ago
- ☆107Updated 2 months ago
- A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.☆101Updated last year
- Proving Ground: Tools for Automated Mathematics☆202Updated 3 years ago
- Theory and Applications of Lenses and Optics☆50Updated 2 years ago
- Practical Deep Learning in Haskell now!☆49Updated last year
- A library for probabilistic programming in Haskell.☆407Updated this week
- Typed frontend to TensorFlow and higher-order deep learning☆156Updated 2 years ago
- In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.☆291Updated 2 years ago
- ☆23Updated 2 years ago
- A DSL for the internal language of a topos☆61Updated 5 months ago
- formally verified category theory library☆254Updated 4 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆83Updated last year
- Accelerated machine learning with dependent types☆73Updated last month
- An interactive theorem prover for string diagrams☆105Updated 7 months ago
- Hasktorch two-layer network example project☆12Updated 3 years ago
- Funn: Functional Neural Networks in Haskell☆24Updated 5 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆24Updated last year
- A visual catalogue + story of morphisms displayed across computational structures.☆120Updated 2 years ago
- CQL: Categorical Query Language implementation in Haskell☆163Updated last year
- Source for personal blog.☆77Updated last week
- Neural Nets in native Haskell☆122Updated 3 years ago
- A topological data analysis library for Haskell☆28Updated 3 years ago
- Reexporting TensorFlow Haskell with dependent typed functions☆46Updated 5 years ago
- Play/learn/work with me☆89Updated last month
- ☆41Updated 4 months ago
- dependent types meets deep learning☆42Updated 5 years ago
- Code snippets accompanying the talk "Automatic Differentiation in Haskell."☆19Updated 4 years ago
- Low-dimensional linear algebra primitives for Haskell.☆198Updated 2 months ago