Bruno Gavranović (@bgavran)
github

bgavran

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,935
  • Global Rank 15,932 (Top 0.6 %)
  • Followers 360
  • Following 30
  • Registered almost 12 years ago
  • Most used languages
    Python
         50.0 %
    Idris     21.4 %
    Agda     14.3 %
    Haskell
         7.1 %
    TeX
         7.1 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 1,074
  • Country Ranking
    Idris     8
    Agda     18
    Haskell
         50
    Python
         143
    TeX
         340

Top repositories

1

Category_Theory_Machine_Learning

List of papers studying machine learning through the lens of category theory
Python
1,264
star
2

Category_Theory_Resources

List of resources for learning Category Theory
222
star
3

Compositional_Deep_Learning

Deep learning via category theory and functional programming
Haskell
138
star
4

DNC

Implementation of the Differentiable Neural Computer in Tensorflow
Python
117
star
5

autodiff

Rudimentary automatic differentiation framework
Python
73
star
6

Lens_Resources

Theory and Applications of Lenses and Optics
50
star
7

Improved_WGAN

Implementation of the "Improved Training of Wasserstein GANs" paper in TensorFlow
Python
19
star
8

Agda_Category_Theory

Formalization of category theory in Agda
Agda
13
star
9

DependentOpticsIdris2

Idris
9
star
10

GAN_Lecture_Materials

Generative Adversarial Networks presentation and workshop materials
TeX
7
star
11

-Co-AlgebraCheatSheet

List of initial algebras and final coalgebras of functors
7
star
12

synthetic_gradients

Implementation of the "Decoupled Neural Interfaces using Synthetic Gradients" paper in PyTorch
Python
4
star
13

LSTM

Playing around with various LSTM architectures and figuring out TensorFlow
Python
4
star
14

Idris_Category_Theory

Idris
3
star
15

Dependently_Typed_Einsum

WIP
Idris
2
star
16

CycleGAN

Implementation of the CycleGAN paper with Wassersein distance and gradient penalty
Python
1
star
17

Agda_CT_Bug

Agda
1
star