bgavran

-Co-AlgebraCheatSheet

List of initial algebras and final coalgebras of functors

Agda_Category_Theory

Formalization of category theory in Agda

autodiff

Rudimentary automatic differentiation framework

Category_Theory_Machine_Learning

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

Category_Theory_Resources

List of resources for learning Category Theory

Compositional_Deep_Learning

Deep learning via category theory and functional programming

DependentOpticsIdris2

DNC

Implementation of the Differentiable Neural Computer in Tensorflow

Improved_WGAN

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

Lens_Resources

Theory and Applications of Lenses and Optics

bgavran/Category_Theory_Machine_Learning

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

bgavran/Category_Theory_Resources

List of resources for learning Category Theory

bgavran/Compositional_Deep_Learning

Deep learning via category theory and functional programming

bgavran/DNC

Implementation of the Differentiable Neural Computer in Tensorflow

bgavran/autodiff

Rudimentary automatic differentiation framework

bgavran/Lens_Resources

Theory and Applications of Lenses and Optics

bgavran/Improved_WGAN

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

bgavran/Agda_Category_Theory

Formalization of category theory in Agda

bgavran/DependentOpticsIdris2

bgavran/-Co-AlgebraCheatSheet

List of initial algebras and final coalgebras of functors

bgavran/GAN_Lecture_Materials

Generative Adversarial Networks presentation and workshop materials

bgavran/LSTM

Playing around with various LSTM architectures and figuring out TensorFlow

bgavran/synthetic_gradients

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

bgavran/Idris_Category_Theory

bgavran/Dependently_Typed_Einsum

WIP

bgavran/Agda_CT_Bug

bgavran/CycleGAN

Implementation of the CycleGAN paper with Wassersein distance and gradient penalty

bgavran/the-gan-zoo

A list of all named GANs!

bgavran/bgavran

bgavran/bgavran.github.io

bgavran/dotfiles

Various config files

bgavran/idris-ct

formally verified category theory library

bgavran/improved-wgan-pytorch

Improved WGAN in Pytorch

bgavran/ml

Simple neural network in numpy

bgavran/monad-challenges

A set of challenges for jump starting your understanding of monads.

bgavran/music-generation

An RNN implementation to generate music