Bruno Gavranović
@bgavranBuilding neural networks that generate provably correct code, and the software infrastructure for training them.
Language Breakdown
Lines of code distribution across 22 owned repositories
T-Shaped Developer
T-shapedDeep in Idris with broad versatility
Collaboration Network
Global Impact visualization
Repos
34
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Jacques Carette
@JacquesCarette
Valeria de Paiva
@vcvpaiva
Edwin Brady
@edwinb
Fabrizio Romano Genovese
@FabrizioRomanoGenovese
Edward Kmett
@ekmett
Top Repositories
List of papers studying machine learning through the lens of category theory
List of resources for learning Category Theory
Deep learning via category theory and functional programming
Implementation of the Differentiable Neural Computer in Tensorflow
Rudimentary automatic differentiation framework
Theory and Applications of Lenses and Optics
Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2
Implementation of the "Improved Training of Wasserstein GANs" paper in TensorFlow
Formalization of category theory in Agda
Open Source Impact
Contributions to external projects
