Skip to content
View koffie's full-sized avatar
🕺
🕺
7 followers · 4 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Organizations

@QE-Lab

Block or report koffie

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
@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

@YiqiXu
Yiqi Xu YiqiXu
@da-liii
Darcy Shen da-liii
Making Mogan STEM Suite | Work days from Monday to Thursday

Hangzhou

@TimoKellerMath
Timo Keller TimoKellerMath
Researcher working in (computational) arithmetic geometry.

Universität Würzburg Würzburg, Germany

@alreadydone
Junyan Xu alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.

Heidelberg / Shenzhen

@wishcow79
wishcow79
@lducas
Léo Ducas lducas
I break codes for a living. Sometimes I make one.

CWI Amsterdam