Skip to content
View bafain's full-sized avatar
20 followers · 51 following
  • Göteborg, Sweden

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@team-worthwhile
Block or Report

Block or report bafain

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

Popular repositories Loading

  1. git git Public

    Forked from git/git

    Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.

    C 2

  2. mtac-plugin mtac-plugin Public

    Forked from beta-ziliani/mtac-plugin

    Plugin for Coq 8.5

    Coq

  3. archlinux-community archlinux-community Public

    Forked from roman-neuhauser/arch-community

    Arch Linux Community Packages, git clone of the 'community' repository. (Mirror of projects.archlinux.org/svntogit/community.git)

    Shell

  4. cubical-demo cubical-demo Public

    Forked from Saizan/cubical-demo

    Agda

  5. OrdinalNotations OrdinalNotations Public

    Forked from cj-xu/OrdinalNotations

    An Agda development of ordinal notations based on Cantor normal form via simultaneous definitions

    Agda

  6. EPIT-2020 EPIT-2020 Public

    Forked from HoTT/EPIT-2020

    EPIT 2020 - Spring School on Homotopy Type Theory

    Agda