mikeizbicki / cmc-csci181-deeplearningLinks
deep learning course materials
☆15Updated 5 years ago
Alternatives and similar repositories for cmc-csci181-deeplearning
Users that are interested in cmc-csci181-deeplearning are comparing it to the libraries listed below
Sorting:
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 5 years ago
- Tutorial on monad transformers☆62Updated 3 years ago
- Learning rigid grammars in Haskell.☆24Updated 7 years ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆14Updated 7 years ago
- ☆31Updated 2 years ago
- Free ideas, worth every penny☆33Updated 4 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆33Updated 6 years ago
- A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.☆102Updated 2 years ago
- An interpreter for Gödel's System T☆12Updated 8 years ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆155Updated this week
- A Haskell blog☆149Updated 2 months ago
- Generic random generators☆81Updated 2 years ago
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆34Updated 4 years ago
- ICFP 2020 papers. Crowd-sourced☆91Updated 5 years ago
- Type Your Matrices For Great Good☆29Updated 5 years ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆191Updated 3 months ago
- Haskell library for semigroup actions and torsors☆64Updated 7 months ago
- A minimalistic, elegant and powerful approach to working with graphs in a functional programming language☆197Updated 3 years ago
- Text and Haskell source for my blog series on recursion schemes.☆45Updated 3 years ago
- 𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search☆31Updated 3 years ago
- A tutorial on writing Haskell Language Server plugins☆70Updated 5 years ago
- i bet you there is a typesystem behind music☆32Updated 6 years ago
- Conway's game of life in 100 lines or less!☆35Updated 8 years ago
- ☆28Updated 7 years ago
- Modular arithmetic, promoting moduli to the type level☆23Updated this week
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆156Updated 4 years ago
- Many-dimensional type-safe numeric ops☆46Updated 3 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 8 years ago