Skip to content
View bgavran's full-sized avatar
424 followers · 30 following

Achievements

Achievement: Starstruckx3Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Starstruckx3Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report bgavran

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
bgavran/README.md

Hi there 👋

I'm applying Category theory, the science of structure, to the field of deep learning, which aims to learn structure from data.

My most recent project is a TensorType: a framework for type-safe, pure functional and non-cubical tensor processing, written in Idris 2.

My academic work can be found here.

Pinned Loading

  1. TensorType TensorType Public

    Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2

    Idris 18 2

  2. Category_Theory_Machine_Learning Category_Theory_Machine_Learning Public

    List of papers studying machine learning through the lens of category theory

    Python 1.4k 89

  3. Category_Theory_Resources Category_Theory_Resources Public

    List of resources for learning Category Theory

    271 21

  4. autodiff autodiff Public

    Rudimentary automatic differentiation framework

    Python 75 8

  5. DNC DNC Public

    Implementation of the Differentiable Neural Computer in Tensorflow

    Python 119 19

  6. Compositional_Deep_Learning Compositional_Deep_Learning Public

    Deep learning via category theory and functional programming

    Haskell 148 8