Skip to content
View kerem-z's full-sized avatar
0 followers · 5 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Shark

Block or report kerem-z

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Pinned Loading

  1. Coq-HoTT Coq-HoTT Public

    Forked from HoTT/Coq-HoTT

    an introduction to abstract nonsense

    Coq

  2. category-theory category-theory Public

    Forked from jwiegley/category-theory

    An axiom-free formalization of category theory in Coq for personal study and practical work

    Coq

  3. idris-ct idris-ct Public

    Forked from statebox/idris-ct

    formally verified category theory library

    Idris

  4. SacO-implementation SacO-implementation Public

  5. learn2learn learn2learn Public

    Forked from learnables/learn2learn

    A PyTorch Library for Meta-learning Research

    Python

  6. ml-estimators ml-estimators Public

    Python