bgavran/DependentOpticsIdris2

Stars
9
Rank 1,939,727 (Top 39 %)
Language Idris
Created over 2 years ago
Updated 5 months ago

bgavran/DependentOpticsIdris2

bgavran

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

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

Lens_Resources

Theory and Applications of Lenses and Optics

Improved_WGAN

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

Agda_Category_Theory

Formalization of category theory in Agda

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