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

Skip to content
View floatshadow's full-sized avatar
💭
Studying is eternity
💭
Studying is eternity
68 followers · 127 following

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: YOLO

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: YOLO

Highlights

  • Pro

Organizations

@ZJUEAI

Block or report floatshadow

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
@silverbullettt
Tian Tan silverbullettt
@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@GoldfishHorse
金鱼马 GoldfishHorse
@xwk-911
Xing Wen Kai xwk-911
I am a PHD student, interested in LLM for formal verification.

北京大学 北京市海淀区颐和园路5号

@andreasabel
Andreas Abel andreasabel

Chalmers and Gothenburg University Gothenburg, Sweden

@jespercockx
Jesper Cockx jespercockx

TU Delft

@acodefarmer048
彭程 acodefarmer048
@frankmcsherry
Frank McSherry frankmcsherry

@MaterializeInc New York, NY

@roife
roife roife
Interested in PL and Compiler.

@pascal-lab

@linusboyle
Zhilei Han linusboyle
PhD candidate @ Tsinghua University. Research on formal verification.

Tsinghua University Beijing, PRC

@plt-amy
Amélia plt-amy
Homotopy type theorist ✨

Brazil

@yizhouzhang
Yizhou Zhang yizhouzhang

Waterloo, Ontario

@KawaiiZapic
Zapic KawaiiZapic
Create yourself.

China

@cireu
閱卜錄 cireu
昔人已乘黃鶴去

China, Guangdong

@Guest0x0
Guest0x0 Guest0x0
@zer0M1nd
zer0M1nd zer0M1nd
Too vegetable

Peking University Beijing, China

@Rw1nd
Jian Fang Rw1nd
I'm interesting in software verification.

Peking University Beijing, China

@YooLc
YooLc YooLc
Zhejiang University / [email protected]

Zhejiang University Hangzhou, China

@DrBit-64
Sha Jingxiang DrBit-64
@lijunchen
Li Junchen lijunchen
@Gabriella439
gabby Gabriella439

@MercuryTechnologies San Jose, CA

@MikaStars39
MikaStar39 MikaStars39

@Zhejiang_University Hangzhou, China

@MaxXSoft
MaxXing MaxXSoft
El Psy Kongroo

MaxXSoft Gensokyo

@pku-minic
PKU Compiler Course pku-minic
Learn compiler techniques step by step.

Peking University, Beijing, China

@pku-dppl
pku-dppl
@PeiPei233
PeiPei233
Let nature take its course.
@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@MPLLang
MPL Compiler for Parallel ML MPLLang
@yiyuan-cao
Yiyuan Cao yiyuan-cao
PhD student in Programming Languages

Peking University Beijing, China

@RedPRL
RedPRL RedPRL
Uphold Cubical Thought!
@zcysky
zcysky zcysky
God speaks through Aerodynamics, and we speak through Programming Languages.

University of Southern California & Amazon Web Services Los Angeles

@xnning
Ningning xnning
Types are all you need.

University of Toronto

@GoPoux4
GoPoux4 GoPoux4

Zhejiang University Hangzhou, Zhejiang

@GooduckZ
GooduckZ
Junior @ZJU-Turing

中国

@AnyaReese
Zixin Lin AnyaReese
Delusion to Solution.

Zhejiang University

@AAAAyl0n
Bowen Ye AAAAyl0n
1f1e#3

Zhejiang University

@Yusux
Rorin Yusux
As long as u're happy bro (=w=)

Zhejiang, China

@yangky11
Kaiyu Yang yangky11
Research Scientist @ Meta, FAIR

Meta Fundamental AI Research (FAIR) New York, NY

@Peiyang-Song
Peiyang Song Peiyang-Song
CS major w/ Robotics minor @caltech. AI Researcher @ucberkeley & @Stanford. Applying for 26Fall PhD positions in Computer Science.

California Institute of Technology Pasadena, CA, United States of America

@hmemcpy
Igal Tabachnik hmemcpy

Israel

@sakura-ryoko
Sakura Ryoko sakura-ryoko

PA, USA

@V1CeVersaa
Pu Wang V1CeVersaa

Zhejiang Univesity Hangzhou, China

@dieKarotte
die Karotte dieKarotte
@MTDickens
Max T Dickens MTDickens
ZJU 四年级

浙江大学 中国杭州

@mrhaoxx
mrhaoxx mrhaoxx
Zhejiang University
@cubicYYY
Yaoyang Ye cubicYYY
Per aspera ad astra.

Purdue University IN, US

@haslab
High-Assurance Software Laboratory haslab

Portugal

@PhotonQuantum
LightQuantum PhotonQuantum
CS PhD Student @ UToronto

University of Toronto Toronto, Canada

@bowling233
Baolin Zhu bowling233
PhD @zju | Captain @ZJUSCT | Founder @ckc-agc | DPU & AI Infra | ex-@Tencent | Intern @alibaba

Zhejiang University Hangzhou, China

@stormckey
stormckey stormckey
A ZJU undergraduate

Zhejiang University Aarhus, Denmark