List of papers studying machine learning through the lens of category theory

Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2

List of initial algebras and final coalgebras of functors

List of resources for learning Category Theory

Formalization of category theory in Agda

Theory and Applications of Lenses and Optics

Deep learning via category theory and functional programming

WIP

Rudimentary automatic differentiation framework

Various config files

Implementation of the "Improved Training of Wasserstein GANs" paper in TensorFlow

Generative Adversarial Networks presentation and workshop materials

Implementation of the "Decoupled Neural Interfaces using Synthetic Gradients" paper in PyTorch

Implementation of the Differentiable Neural Computer in Tensorflow

Implementation of the CycleGAN paper with Wassersein distance and gradient penalty

Playing around with various LSTM architectures and figuring out TensorFlow

Simple neural network in numpy