bgavran/Lens_Resources

Stars
50
Rank 577,233 (Top 12 %)
Language
Created over 2 years ago
Updated over 2 years ago

bgavran/Lens_Resources

bgavran

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Theory and Applications of Lenses and Optics

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

DNC

Implementation of the Differentiable Neural Computer in Tensorflow

autodiff

Rudimentary automatic differentiation framework

Improved_WGAN

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

Agda_Category_Theory

Formalization of category theory in Agda

DependentOpticsIdris2

GAN_Lecture_Materials

Generative Adversarial Networks presentation and workshop materials

-Co-AlgebraCheatSheet

List of initial algebras and final coalgebras of functors

synthetic_gradients

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

LSTM

Playing around with various LSTM architectures and figuring out TensorFlow

Idris_Category_Theory

Dependently_Typed_Einsum

CycleGAN

Implementation of the CycleGAN paper with Wassersein distance and gradient penalty

Agda_CT_Bug