Skip to content
View cyoon1729's full-sized avatar
162 followers · 19 following
  • New York, New York
  • 21:42 (UTC -04:00)

Achievements

Achievement: YOLOAchievement: Starstruckx2Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Starstruckx2Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report cyoon1729

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
@xinhong3
Argyrodite xinhong3
xinhong3.github.io
@logsem
Logic and Semantics @ Aarhus University logsem

Aarhus, Denmark

@rocq-prover
The Rocq Prover rocq-prover
@yoshihiro503
YOSHIHIRO Imai yoshihiro503
CEO of proof ninja, Inc. Coq proof developer

@proof-ninja, Inc Chiba, Japan

@rudynicolop
Rudy Peterson rudynicolop
@toku-sa-n
Hiroki Tokunaga toku-sa-n
Worker

@DeNA Tokyo, Japan

@DistributedComponents
Distributed Components DistributedComponents
@lvkv
Lukas Velikov lvkv
What If ∩ Why Not

New York, New York

@tchajed
Tej Chajed tchajed
Research scientist at Theorem. Former professor at UW-Madison.

Theorem San Francisco, CA

@efric
Eric efric
@hannesm
Hannes Mehnert hannesm

@robur-coop

@joshuahahn
Joshua Hahn joshuahahn
Linux Memory Management... Mempolicy & Migration Reviewer

Meta New York

@MrSyee
Kyunghwan Kim MrSyee

Smilegate Seongnam, Gyeonggi, Korea

@ucsd-progsys
ucsd-progsys
@eh2890
Eumin Hong eh2890
@ekzhang
Eric Zhang ekzhang
An honest, more human kind of software

@thinking-machines-lab New York, NY

@snowleopard
Andrey Mokhov snowleopard
From engineering to abstract mathematics and back

Jane Street UK

@martinristovski
Martin Ristovski martinristovski

New York, NY

@jinPrelude
Euijin Jeong jinPrelude

RLLAB @ Yonsei Seoul, South Korea