Skip to content

@kframework K framework

@shawngoh87
shawng shawngoh87
Backend @ tawk.to

Selangor, Malaysia.

@ethever
ethever.eth ethever
what's up

Shenzhen China

@Ao-senXiong
Aosen Xiong Ao-senXiong
Ao-senXiong.github.io

University of Waterloo Waterloo, ON, Canada

@mrragava
mrragava
@brrmorre
Bradley Morrell brrmorre

SiFive

@ligurio
Sergey Bronnikov ligurio
I make software suck less.
@omasanori
Masanori Ogino omasanori

Japan, or anywhere else

@s3cunDa
s3cunDa

UCAS Beijing

@kailiangji
Kailiang Ji kailiangji
I am a formal verification expert at NIO.

NIO Shanghai

@domandlj
Juan Domandl domandlj
Computer Science @ FaMAF Contact: [email protected]

Argentina

@HurryPeng
Haoran Peng HurryPeng
Ph.D. student at Paul G. Allen School of Computer Science & Engineering, University of Washington

University of Washington Seattle, WA

@Lslightly
Qingwei Li Lslightly
lazy overflow

University of Science and Technology of China Hefei, Anhui, China

@nazariyv
naz nazariyv
@johnsonjh
Jeffrey H. Johnson johnsonjh
Not RPM developer Jeffrey Johnson. Not XTree developer Jeffrey Johnson. Not Jeffrey Johnson, Google Senior Software Engineer. Not the robotic engineer, either.

BAN AI Systems https://keybase.io/trnsz

@0x00B6
0x00B6
@358383948
358383948
@PumpkinDemo
Pumpk1n PumpkinDemo
@byrongibson
Byron Gibson byrongibson
@suhabe
Suhabe Bugrara suhabe
@powerbrij007
Brijmohanlal Sahu powerbrij007
@arcilli
Gabi arcilli

stderr

@AeroOwl
AeroOwl
@Stevengre
JianHong Zhao Stevengre