Skip to content
View shaobo-he's full-sized avatar

Sponsoring

@Rem0o

Block or report shaobo-he

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
@home-assistant
Home Assistant home-assistant
Open source home automation that puts local control and privacy first. Powered by a worldwide community of tinkerers and DIY enthusiasts.

Your home

@RustanLeino
Rustan Leino RustanLeino
Lover by day, hacker by night

Amazon Web Services Seattle, WA, USA

@yallop
Jeremy Yallop yallop

University of Cambridge Cambridge, UK

@mwhicks1
Michael Hicks mwhicks1
Michael Hicks is a Senior Principal Applied Scientist at Amazon Web Services and an Emeritus Professor at the University of Maryland

Arlington, VA, USA

@capfredf
Fred Fu capfredf
Yet another typed racketeer who writes untyped code a lot

PLT @ where Dan-scheme was taught

@triska
Markus Triska triska
https://www.metalevel.at/t

Vienna

@bzhan
Bohua Zhan bzhan
Associate Research Professor. Institute of Software, Chinese Academy of Sciences.
@msakai
Masahiro Sakai msakai
Computer science researcher. Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.

Preferred Networks, Inc. (@pfnet) Kawasaki, Japan

@dorchard
Dominic Orchard dorchard
Co-director of Institute of Computing for Climate Science, University of Cambridge and Senior Lecturer at the School of Computing, University of Kent

Canterbury, UK

@rakamaric
Zvonimir Rakamaric rakamaric

Amazon Web Services (@aws)

@xldenis
Xavier Denis xldenis
formal verification hacker
@fdupress
François Dupressoir fdupress

University of Bristol Bristol

@Zdancewic
Steve Zdancewic Zdancewic

University of Pennsylvania United States

@hgtsoi
Hengguan Cui hgtsoi
CIRES

Boulder, CO

@caballa
Jorge Navas caballa
Working on static analysis at Certora

Certora USA

@pdarragh
Pierce Darragh pdarragh
PhD student at the University of Maryland, interested in programming languages and their usability.

UMD College Park, MD

@agurfinkel
Arie Gurfinkel agurfinkel

University of Waterloo Canada

@mdimjasevic
Marko Dimjašević mdimjasevic
Computer scientist, Haskell developer, Home Assistant smart home enthusiast, DIY electronics rookie, with interest in social production of software and culture.

Križevci, Croatia

@michael-emmi
Michael Emmi michael-emmi

Amazon Web Services New York

@Maryam81609
Maryam Dabaghchian Maryam81609

School of Computing, University of Utah Salt Lake City

@Kraks
Guannan Wei Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers

Tufts University

@mflatt
Matthew Flatt mflatt

PLT, University of Utah Salt Lake City

@zvonimir
Zvonimir Rakamaric zvonimir
Associate Professor

School of Computing, University of Utah Salt Lake City

@keram88
Mark S. Baranowski keram88

School of Computing, University of Utah