Skip to content
View cao-'s full-sized avatar

Block or report cao-

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
@Ilithy
Ilithy

South of France

@gjs
Gerald Jay Sussman gjs

MIT Cambridge, MA, 02139, USA

@JuliaCollections
JuliaCollections
Collections, Data Structures, and Algorithms for Julia
@aurorarossi
Aurora Rossi aurorarossi
Postdoctoral researcher

University of Bonn

@webyrd
William E. Byrd webyrd

University of Alabama at Birmingham Cambridge, MA

@Barry-Jay
Barry Jay Barry-Jay
Associate Professor Barry Jay is a member of the School of Software at the University of Technology, Sydney.

Sydney, Australia

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

Tufts University

@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

@chapel-lang
Chapel chapel-lang
Chapel is a parallel programming language designed for productive scalable computing.
@BartoszMilewski
Bartosz Milewski BartoszMilewski
Author of Category Theory for Programmers

Programming Cafe Paris, France

@olsak
Petr Olšák olsak

CTU in Prague Czech Republic

@urtxintxa
urtxintxa
Software engineering