Skip to content
View Zeta611's full-sized avatar
🎉
Enjoying life
🎉
Enjoying life
182 followers · 340 following

Achievements

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

Achievements

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

Highlights

  • Pro

Organizations

@ocaml @ropas @KoreanTUG @SNUECE

Block or report Zeta611

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@inkandswitch
Ink & Switch inkandswitch
@vivianyyd
Vivian Ding vivianyyd
@al3623
Amanda Liu al3623
@shilangyu
Marcin Wojnarowski shilangyu
I like mixing math with computer science

Ecublens, Switzerland

@wodeni
Wode "Nimo" Ni wodeni
arranging blobs in @penrose and @brilliantorg
@jiwonMe
Jiwon Park jiwonMe
Software Engineer

Seoul, Korea

@namdy0429
Daye Nam namdy0429
@yeolyi
이성열 yeolyi

@kakao @wafflestudio

@joshpoll
Josh Pollock joshpoll
MIT CS Graduate student in @mitvis. Previously undergraduate member of @uwplse and @uwsampl.

MIT Cambridge, MA

@namin
Nada Amin namin
Assistant Professor of Computer Science

Harvard University Cambridge, MA

@andrewcmyers
Andrew Myers andrewcmyers
Professor of computer science at Cornell University. Works on programming languages and security.

Cornell University Ithaca, NY, USA

@saulshanabrook
Saul Shanabrook saulshanabrook
PhD student at @uwplse advised by @gilbo. Previously worked at @Quansight / @Quansight-Labs, @LineaLabs, @jupyterlab and @burke-software.

University of Washington Seattle, WA

@EagleoutIce
Florian Sihler EagleoutIce
In love with programming and penguins.

@sp-uulm Germany

@dm0n3y
David Moon dm0n3y
CS PhD student at UMich

@hazelgrove @fplab Ann Arbor, MI

@KunJeong
Seokhun Jeong KunJeong
Researcher @kaist-plrg
@cordx56
Yuki Okamoto cordx56
Ph.D. student, Research in Programming Language, 魔法少女

Shibaura Institute of Technology Tokyo, Japan

@kalivtrope
kalivtrope
@pi8027
Kazuhiko Sakaguchi pi8027
Postdoc in the Plume team | Interests: interactive theorem proving, formalization of mathematics, proof by reflection, and parametricity

CNRS, ENS de Lyon, UCBL, LIP Lyon, France

@davdar
David Darais davdar
Principal Scientist at Stealth Software.

Stealth Software Technologies, Inc. Salt Lake City, UT

@ryan-haskell
Ryan Haskell ryan-haskell
🌈 Building @elm-land

@brilliantorg Chicago, Illinois

@CharlesAverill
Charles Averill CharlesAverill
UTD CS PhD, losing my mind grading

@SoftwareLanguagesSecurityLab Dallas

@t3dotgg
Theo Browne t3dotgg
I'm just here for the vibes, man

CEO @ Ping.gg San Francisco, CA

@HyeongseoYoo
hyongso HyeongseoYoo
@markus-gerber
Markus Gerber markus-gerber
M.Sc. Computer Science Student focussing on Embedded System Software

FAU Erlangen-Nürnberg Erlangen, Germany

@PnVDiscord
Proof and Verification Discord PnVDiscord
Proof assistant and formal verification community

Korea, South

@lorisdanto
Loris D'Antoni lorisdanto

University of California San Diego Madison

@mwillsey
Max Willsey mwillsey
asst prof at uc berkeley

Berkeley, CA

@MarisaKirisame
霧雨魔理沙 MarisaKirisame
Ordinary Magician

魔法の森, Gensokyo

@alexcrichton
Alex Crichton alexcrichton
@JetBrains
JetBrains JetBrains
JetBrains Open Source

Netherlands

@JetBrains-Research
JetBrains-Research JetBrains-Research
@hayleigh-dot-dev
Hayleigh Thompson hayleigh-dot-dev
Hi, I'm Hayleigh! Building an isomorphic web framework @lustre-labs, doing core team shit at @gleam-lang, and making node-shaped uis @xyflow ^.^

@xyflow

@cfallin
Chris Fallin cfallin
Software engineer with a focus on compilers. Currently hacking on WebAssembly-related technologies at F5.

F5 Sunnyvale, CA, USA

@se-tuebingen
Software Engineering – University of Tübingen se-tuebingen
Github organization of the SE research group at University of Tübingen

Germany

@gjwj5505
Jung WonJun gjwj5505
???
@ChungPlusPlus
ChungPlusPlus ChungPlusPlus
@krafton-ai
KRAFTON AI krafton-ai
@plait-lab
plait-lab
@lassemoldrup
Lasse Møldrup lassemoldrup
PhD student at Aarhus University
@parkerziegler
Parker Ziegler parkerziegler
Ph.D. Student at UC Berkeley, ⏪ @FormidableLabs

UC Berkeley Berkeley, CA

@justinlubin
Justin Lubin justinlubin
Co-designing programming systems with domain experts

University of California, Berkeley

@park-sunho
Sunho Park park-sunho

@snu-sf Seoul, Republic of Korea

@YudaiUrabe
Yudai Urabe YudaiUrabe
Have a look at my website ↓
@hrtan99
Thomas hrtan99
CS Student

HKUST Hong Kong, China

@sukyoung
Sukyoung Ryu sukyoung

KAIST

@JakeGinesin
JakeGinesin

Carnegie Mellon University

@schasins
schasins
Computer Science, UC Berkeley. Programming languages, program synthesis, human-computer interaction.
@2paperstar
Boseong 2paperstar
불가능한 것을 만드는 도전

Gwangju Institute of Science and Technology Korea

@codex-semantics-library
codex-semantics-library
@d01c2
Hyunjoon-Kim d01c2
Frei, aber Einsam

@ku-plrg Seoul, South Korea