The most cited deep learning papers

Latex code for making neural networks diagrams

A technical report on convolution arithmetic in the context of deep learning

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

A textbook on informal homotopy type theory

Exercises for the Deep Learning textbook at www.deeplearningbook.org

papers of Per Martin Löf

The Type Astronaut's Guide to Shapeless

BNF Converter

The simple essence of automatic differentiation

Reinforcement Learning Cheat Sheet

Introduction to algebraic effects and handlers