Pinned Repositories
-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's Repositories
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/Idris_Category_Theory
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/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