8000 euisuny (Irene Yoon) / Followers · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View euisuny's full-sized avatar
86 followers · 14 following

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@plclub @vellvm @cs4110 @cornellacsu @cucapra @upenn-cis198 @inria-cambium

Block or report euisuny

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
@xunjoy
Joy Q Zhang xunjoy
@ebresafegaga
Gaga ebresafegaga
@mratsim
Mamy Ratsimbazafy mratsim
Ethereum Blockchain R&D ✦ ZK Cryptography Engineering ✦ Data Scientist ✦ High Performance, Parallel, Scientific and GPU computing

Paris

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@valoran-M
Valoran valoran-M
Ocaml <3
@jacobsomer
Jacob Somer jacobsomer
Aspiring software engineer interested in learning, building, and helping people through code

Falls Church, VA

@lafeychine
Vincent Lafeychine lafeychine
@acorrenson
Arthur Correnson acorrenson
PhD candidate at CISPA. Working on formally verified formal methods.

CISPA Helmholtz Center for Information Security Saarbrücken

@clairew
Claire Wang clairew

UPenn

@sirinath
Suminda Sirinath Salpitikorala Dharmasena sirinath

Sakrio! Sri Lanka

@yqyq-w
yqyq-w
PL+Systems
@saulshanabrook
Saul Shanabrook saulshanabrook

Greenfield, MA

@maxcohen31
Emanuele maxcohen31
CS student

Italy

@glaebhoerl
Gábor Lehel glaebhoerl
cat, also crow

Hungary

@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

@lengkoanows
lengkoanows
@omasanori
Masanori Ogino omasanori

Japan

@LimaniBhavik
Bhavik LimaniBhavik
Exploring Tech for the Future!

@Widle-Studio

@irdutfie
Ian Dutfield irdutfie

Wellington New Zealand

@Zeta611
Jay Lee Zeta611
Programming programming languages 🪄 λᠻ.(λ᥊.ᠻ(᥊ ᥊))(λ᥊.ᠻ(᥊ ᥊))

@ropas @KoreanTUG Seoul, Republic of Korea

@rudynicolop
Rudy Peterson rudynicolop
@zeta1999
Renoir Fortytwo zeta1999
ML, Crypto, Applied mathematics, Hardware optimization (experience at an FPGA company). Remoting is an option. Collector of interesting stuff.

Seoul

@tchajed
Tej Chajed tchajed
Professor at UW-Madison. I write software and prove that it does what it's supposed to.

UW-Madison Madison, WI

@Zustin
Zustin
A Program Testing and Analysis Fans! I am ready to use any technique to improve software system reliability and performance

Expect to Norway

@zenna
Zenna Tavares zenna

Basis New York

@kaimast
Kai Mast kaimast

San Francisco, CA

@signorgelato
Jack Huang signorgelato
What I cannot create, I do not understand. An unapologetic amico of gelato, physics, and computation (former physics/math major at UChicago).

Chicago

@enochii
Chenghang Shi enochii
Ph.D. candidate at the Institute of Computing Technology, Chinese Academy of Sciences

ICT, UCAS Beijing

@kirshanthans
Kirshanthan Sundararajah kirshanthans

Blacksburg, VA

@catalin-hritcu
Catalin Hritcu catalin-hritcu
Tenured Faculty at MPI-SP

Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany

@arbitraryconstants
Alanna arbitraryconstants
@kocheko
kocheko kocheko
i repair cellphones
@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@Ares2013
Ares2013
@nikitavoloboev
Nikita nikitavoloboev
@smurphy8
smurphy8
@dranov
George Pîrlea dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.

Singapore

@simfleischman
Scott Fleischman simfleischman

SimSpace

@danoneata
Dan Oneață danoneata

Romania

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@hangohan52
Kenny Han hangohan52
🧗🏽

New York, NY

@j-hui
John Hui j-hui
programming languages, compilers, systems, computer music

@apple Cupertino, CA

@elefthei
Lef Ioannidis elefthei
PhD candidate at Penn working in verification and programming languages.

University of Pennsylvania Philadelphia, PA

@pirey
Yeri Pratama pirey
@era
Elias era
Interested in Libre Software and autonomy.

Japan

@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK

@Prahitha
Prahitha Movva Prahitha
@Grain
Paul He Grain
Assistant Professor, Teaching Stream in Computer Science at the University of Toronto

University of Toronto Toronto, Ontario

@ilovejs
Hao ilovejs
0 headache approach Write code IN [go, python, js] Domain knownledge IN [oauth, crypto, jose]
@i-walker
Settuba i-walker
archived

▒ 0xC0000000

0