Rankings
Badges
/
bgavran
Rankings
Badges
Overview
Ranks
Repositories
Languages
Bruno Gavranović
@bgavran
Refresh
Open GitHub
🇬🇧 London, United Kingdom
Profile age: almost 13 years
Updated 12 days ago
427 followers • 30 following
Contacts
bruno@brunogavranovic.com
www.brunogavranovic.com
@bgavran.bsky.social
in/bruno-gavranovic
Repositories
Category_Theory_Machine_Learning
1,444
90
updated about 1 month ago • age over 5 years
Python
100.0%
Category_Theory_Resources
270
21
updated 12 months ago • age almost 4 years
Compositional_Deep_Learning
148
8
updated over 5 years ago • age over 7 years
Haskell
100.0%
DNC
119
19
updated about 8 years ago • age over 8 years
Python
100.0%
autodiff
75
8
updated over 6 years ago • age over 8 years
Python
100.0%
Lens_Resources
56
5
updated over 3 years ago • age over 3 years
Improved_WGAN
18
6
updated over 7 years ago • age over 8 years
Python
100.0%
TensorType
18
2
updated 12 days ago • age 7 months
Idris
100.0%
Agda_Category_Theory
17
2
updated over 2 years ago • age about 6 years
Agda
100.0%
DependentOpticsIdris2
10
1
updated over 1 year ago • age over 3 years
Idris
100.0%
Show more - 10 of 15 shown
Contributions
2025
idris2-pack-db
1 PR
+6
-0
29
24
2017
the-gan-zoo
1 PR
+16
-0
Python
14,654
2,566
