Skip to content
View Yu-zh's full-sized avatar
54 followers · 100 following
  • Yale University
  • New Haven, CT

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: YOLO

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: YOLO

Block or report Yu-zh

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
@xguerin
Xavier R. Guérin xguerin
Quod obstat viae fit via.

@xenogenics

@kit-ty-kate
Kate kit-ty-kate
Contractor working on opam (OCaml Package Manager). Previously @tarides / @ocamllabs -------- Autogestion à toute échelle, pain et liberté.

@ahrefs @ocaml-sf Glasgow, Scotland

@vouillon
Jérôme Vouillon vouillon
@colmugx
colmugx colmugx
In my heart, I am a gamer

IONIA, +08:00

@jiangyy
Yanyan Jiang jiangyy
Associate Professor, Nanjing University

Nanjing University Nanjing, China

@tonyfettes
Haoxiang Fei tonyfettes
Make things just work.
@Kaida-Amethyst
Kaida-Amethyst Kaida-Amethyst
紫月，working in IDEA moonbit team.

IDEA China

@Young-Flash
Young-Flash Young-Flash
Rust-lang & rust-analyzer team member | Apache Committer | OSPP 2021 & GSoC 2022 & OSPP 2023 | Open Source contributor
@yoshuawuyts
Yosh yoshuawuyts
WebAssembly and Rust @microsoft

København, Denmark

@rami3l
rami3l rami3l
Le vent se lève ! Il faut tenter de vivre.
@myfreess
NSlash951 myfreess
万万千千说不尽，不如编程去归休
@xldenis
Xavier Denis xldenis
formal verification hacker
@tlively
Thomas Lively tlively

Google

@sbc100
Sam Clegg sbc100

@google San Francisco

@qazxcdswe123
YuNing Chen qazxcdswe123

@bytedance Earth

@peter-jerry-ye
Zihang Ye peter-jerry-ye

Shenzhen, China

@seankhliao
Sean Liao seankhliao
old repos @erred

(no)where

@mlugg
Matthew Lugg mlugg
Zig core team member & compiler developer.
@dschuff
Derek Schuff dschuff
Yet another compiler compiler. I work on WebAssembly, LLVM, Native Client, and Chromium.

Google The Internets

@flyfish30
Parker Liu flyfish30

ShenZhen of GuangDong of China

@bzy-debug
Bao Zhiyuan bzy-debug
@c-cube
Simon Cruanes c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.

Imandra (@imandra-ai) washington DC

@lijunchen
Li Junchen lijunchen
@rexim
Alexey Kutepov rexim
Recreational Programming

@tsoding Novosibirsk

@kayceesrk
KC Sivaramakrishnan kayceesrk
CS Prof, CTO @tarides, @ocaml core developer

IIT Madras and Tarides Chennai, India

@brian-carroll
Brian Carroll brian-carroll

@NoRedInk Dublin

@mcy
Miguel Young mcy
AKA mcyoung
@zerolfx
zerol zerolfx
Average programmer.

Shanghai, China

@awesomekling
Andreas Kling awesomekling
Building a truly independent web browser with the help of friends around the world :^)

@LadybirdBrowser Sweden

@Guest0x0
Guest0x0 Guest0x0
@sampsyo
Adrian Sampson sampsyo
Hi! I'm a terrifying Cornell professor, the kindly progenitor of @beetbox, and pretty into The Magnetic Fields. 6'2".

Cornell University Ithaca, NY

@contificate
Colin James contificate
Interested in compilers for strict functional languages.

Glasgow, Scotland

@Lin23299
Ling Zhang Lin23299
PL | Compiler Verification | Hacking on CompCert

Shanghai Jiao Tong University

@chenyukang
Yukang chenyukang

Shenzhen, China

@Glavo
Glavo Glavo
PLCT Lab

@plctlab Inner Mongolia, China

@mitchellh
Mitchell Hashimoto mitchellh

Los Angeles, CA

@nojb
Nicolás Ojeda Bär nojb

@LexiFi Paris, France

@ericlippert
Eric Lippert ericlippert

Seattle, WA, USA

@oovm
SasakiSaki oovm

Tencent Shanghai China

@andrewrk
Andrew Kelley andrewrk
Lead developer & president of Zig Software Foundation

@ziglang Portland, Oregon

@brotzeit
brotzeit

Gulag

@hhstore
Henry.H hhstore
🔥️#Mojo 🎯#Flutter 🦀#Rust 🐹#Golang ⚡#Zig 🐍#Python #Docker #K8S #DevOps #Bitcoin ₿ #Ethereum ⟠ #Polkadot #10+YearsCoder #Quant

Indie Hacker Shanghai, China

@s12f
s12f
@ejgallego
Emilio Jesús Gallego Arias ejgallego
“La perfection est atteinte, non pas lorsqu'il n'y a plus rien à ajouter, mais lorsqu'il n'y a plus rien à retirer.”

Inria Paris

@dsyme
Don Syme dsyme
Principal Researcher, Visiting Professor
@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

@matklad
Alex Kladov matklad
Computers, democracy, and nervous disorder.

@tigerbeetle Lisbon

@yetone
yetone yetone
ohh

@BentoML China

@jeremie-koenig
Jérémie Koenig jeremie-koenig

@CertiKOS New Haven, CT

@Emanon42
Emanon Emanon42
CPDT, CPDT

極東魔術昼寝結社 West Lafayette, IN, US