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.
☆291Updated 2 years ago
Related projects: ⓘ
- A library for probabilistic programming in Haskell.☆407Updated this week
- Compiling to Categories☆436Updated 6 months ago
- Efficient Haskell Arrays featuring Parallel computation☆384Updated 3 weeks ago
- Collections of papers and books about Haskell, Type Theory and Category Theory☆164Updated 2 years ago
- An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .☆360Updated last month
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆278Updated 7 months ago
- A new Categories library for Agda☆363Updated this week
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆168Updated 2 years ago
- An introductory course to Homotopy Type Theory☆358Updated 4 years ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆180Updated 2 months ago
- Optics as an abstract interface☆374Updated last month
- Automatic Differentiation☆368Updated 3 months ago
- Standard library for linear types in Haskell.☆333Updated last week
- Generalized bananas, lenses and barbed wire☆336Updated 3 months ago
- 𝛌 Awesome Idris resources☆387Updated 4 years ago
- Tensors and neural networks in Haskell☆1,058Updated 2 months ago
- The agda-unimath library☆218Updated last week
- formally verified category theory library☆254Updated 4 years ago
- A little course to learn about some of the more obscure GHC extensions.☆637Updated 10 months ago
- The home of the Glamorous Glambda interpreter☆219Updated 2 months ago
- Development of homotopy type theory in Agda☆412Updated 5 years ago
- The Monad Transformer Library☆362Updated last month
- Experimental implementation of Cubical Type Theory☆567Updated 11 months ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆45Updated 4 years ago
- HoTTEST Summer School materials☆283Updated 11 months ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆683Updated this week
- Fake dependent types in Haskell using singletons☆286Updated last month
- A modern, extensible and well-documented prettyprinter.☆293Updated 4 months ago
- Lecture notes on univalent foundations of mathematics with Agda☆218Updated 5 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆334Updated this week