penkovsky / 10-days-of-grad
Neural Networks and Deep Learning
☆32Updated 9 months ago
Related projects: ⓘ
- Formalizing linear algebra in Agda by representing matrices as functions☆25Updated 8 months ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆24Updated 2 years ago
- Source material for Certainty by Construction☆36Updated 8 months ago
- Source for personal blog.☆77Updated last week
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 7 years ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆73Updated 2 months ago
- My London HUG talk: Recursion Schemes by Example☆50Updated 10 years ago
- 👓 Profunctor based lightweight implementation of Lenses☆74Updated last year
- Text and Haskell source for my blog series on recursion schemes.☆44Updated 2 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆83Updated last year
- Smash products, Wedge products, and other Pointed stuff☆34Updated 2 years ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming