Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View Zdancewic's full-sized avatar

Block or report Zdancewic

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
@xuhongxu96
Hongxu Xu xuhongxu96

Waterloo, Ontario, Canada

@nikecodedev
nike--apollo nikecodedev
Collaboration level unlocked: bringing ideas, laughs, and just enough caffeine to make magic happen. Let’s see what kind of masterpiece we create! 😄🤝
@jonaprieto
Jonathan Cubides jonaprieto
Research Engineer. Read/write types and proofs for fun and profit. Better HoTT than cold.
@7-5
SIGKILL 7-5
to be organised. i am no one. following will grant you no vision.

alchemy lab

@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

@Diogenesoftoronto
Diogenesoftoronto Diogenesoftoronto
Reality needs a debugger; I need a Breakpoint.

Interleave Ottawa, Canada

@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@0fficialoscar
Oscar Diaz 0fficialoscar
Future backend coder.

Chicago

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

Xanadu Canada

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@dilini-ranaweera
Dilini Ranaweera dilini-ranaweera
Student at the University of Pennsylvania studying Computer Science. Systems Programming enthusiast!

Philadelphia, PA

@xldenis
Xavier Denis xldenis
databases, verification & rust @ turbopuffer

turbopuffer

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@simanerush
Sima Nerush simanerush

Apple Inc. Cupertino, CA

@esinx
Eunsoo Shin esinx
❤️ TypeScript @pennlabs

Seoul

@brendanzab
Brendan Zabarauskas brendanzab
I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. 👨‍🎨👨‍💻👨‍🔬

@yeslogic Melbourne, Australia

@jsalzbergedu
Jacob Salzberg jsalzbergedu
Hi, I am Jacob Salzberg, a Computer Science second year PhD Student at NYU.

NY, NY (USA)

@ichistmeinname
Sandra Dylus ichistmeinname
holds PhD in PL; likes functional programming languages

@Cap3 Germany, Kiel

@groupcache4321
groupcache4321
Work work

Earth

@qiutian00
qiutian00 qiutian00
lalala

HUHST SHENZHENG, Guangdong, China

@liyishuai
Yishuai Li liyishuai
PhD'22 @plclub @DeepSpec; Mentor @SIGPLAN -M; Maintainer @rocq-community @ocaml-community; Editor @Coq-zh; Contributor @rocq-prover.

@PingCAP Shanghai Hongkou

@decrn
Denis Carnier decrn

KU Leuven Leuven, Belgium

@christasimaan
Christa Simaan christasimaan

CS @ Penn Philadelphia, PA

@vuuzleroma
Sarah vuuzleroma
Hi! I'm Sarah from Vuco Digital Inc., a marketing company for VUCO COIN.

Vuco Digital Inc.

@shaobo-he
Shaobo shaobo-he
A little Schemer
@Kraks
Guannan Wei Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers

Tufts University

@k4rtik
Kartik Singhal k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.

Chicago, IL

@rybla
Henry Blanchette rybla
programming languages, formal verification, game dev, game theory

CS PhD student at UMD Washington, DC

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

@apple Cupertino, CA

@Youngzt998
Ziteng Yang Youngzt998
Young and Naive Researcher

Georgia Institute of Technology Atlanta, GA

@lkgv
Guowei Yang lkgv
Master student in ShanghaiTech University

ShanghaiTech University, China

@reikdas
Pratyush Das reikdas
PhD student, working on compilers.

Purdue University West Lafayette, Indiana

@Liby99
Ziyang Li Liby99
No Code No Life | Assistant Professor in CS at Johns Hopkins University

Johns Hopkins University Baltimore, MD