Skip to content
View shhyou's full-sized avatar
💭
Alive
💭
Alive
90 followers · 133 following

Achievements

Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Block or report shhyou

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
@codyroux
Cody Roux codyroux
@calfproject
Calf calfproject
A dependent type theory for modular development of cost and behavior.
@ppedrot
Pierre-Marie Pédrot ppedrot
@ncfavier
Naïm Camille Favier ncfavier
aka ncf. PhD student working on cubical type theory.

Chalmers University of Technology Sweden

@HarrisonGrodin
Harrison Grodin HarrisonGrodin
PhD Student in PL @ CMU CSD

Carnegie Mellon University Pittsburgh, PA

@runmingl
Runming Li runmingl
CS @ Carnegie Mellon University

Pittsburgh

@andy0130tw
Andy Pan andy0130tw
Write code to explore any possibilities, not to seek the answers, but to understand the questions. /* FOSS collection: @qbane */

NTUOSC Taipei, Taiwan

@loic-p
Loïc Pujet loic-p
@Armael
Armaël Guéneau Armael

Inria Paris-Saclay

@fpottier
François Pottier fpottier

Inria Paris, France

@jhjourdan
Jacques-Henri Jourdan jhjourdan

CNRS, LMF Paris

@ezyang
Edward Z. Yang ezyang

New York, NY

@charguer
Arthur Charguéraud charguer
@fxdpntthm
Apoorv Ingle fxdpntthm

University of Iowa Iowa City

@manuel-serrano
manuel-serrano
@racket-templates
Racket Templates racket-templates
1. `raco pkg install new`, 2. `raco new --list` , 3. `raco new <templatename> [optionalfoldername]`
@nu-cs111
Northwestern CS111 nu-cs111
Northwestern University COMP_SCI 111: Fundamentals of Computer Programming I
@neel-krishnaswami
Neel Krishnaswami neel-krishnaswami

University of Cambridge

@clayrat
Alex Gryzlov clayrat
Logic, languages and systems

IMDEA Software Madrid

@arcana-lab
Arcana Lab arcana-lab
Arcana Lab @ Northwestern University

United States of America

@ionathanch
Jonathan Chan ionathanch
Grad student in PL & former splabmate · MSc @ UBC ⇝ PhD @ UPenn

PLClub @ UPenn Vancouver, Canada

@Bogdanp
Bogdan Popa Bogdanp

Cluj-Napoca, Romania

@bainco
Connor Bain bainco
Asst. Prof. of Instruction at Northwestern. Former @NetLogo Models Library Editor.

Northwestern University Evanston, IL

@csienslab
NSLab csienslab
Our research involves in network security, anonymity and privacy, Internet of things, software security, web security and applied cryptography.
@pzread
Jerry Wu pzread
@dhil
Daniel Hillerström dhil
Effectful programmer

Category Labs, New York City, NY, USA

@jespercockx
Jesper Cockx jespercockx

TU Delft

@JonathanAldrich
Jonathan Aldrich JonathanAldrich

Carnegie Mellon University Pittsburgh, PA, USA

@rmculpepper
Ryan Culpepper rmculpepper

PLT Boston, MA, USA

@benknoble
D. Ben Knoble benknoble
SWE @ CapitalOne. BS/MS in CS and formal methods. Plays clarinet. Enjoys reading and writing (code, English, French). Black belt in Tang Soo Do. Eagle Scout.

CapitalOne Richmond, VA

@orangetw
Orange Tsai orangetw

Taiwan

@AkashDeoNU
Akash Deo AkashDeoNU
@chenxiao2402
Xiao Chen chenxiao2402
Ad astra abyssosque.

IU Bloomington Bloomington, IN, US

@joshuaharry
joshuaharry
Hello, world! I like coffee, Racket, and TypeScript.

Northwestern University Evanston Illinois

@Metaxal
Laurent Orseau Metaxal

Google DeepMind London, UK

@utahplt
PLT @ University of Utah utahplt
@kelloggm
Martin Kellogg kelloggm
Assistant Professor at the New Jersey Institute of Technology. I work on making software verification practical for developers.
@peter50216
Peter Shih peter50216
@ShikChen
ShikChen
@Droidtown
Droidtown Linguistic. Tech. Co., Ltd. Droidtown

Droidtown Linguistic. Tech. Co., Ltd. Taiwan

@moyix
Brendan Dolan-Gavitt moyix
Assistant Professor in CSE at NYU Tandon School of Engineering, focusing on security, program analysis, and reverse engineering.

New York, NY

@asajeffrey
Alan Jeffrey asajeffrey
Alan passed away in July. Software Engineer at Roblox, focusing on the Luau scripting language.

Roblox Chicago, IL

@racket
Racket racket
@Roblox
Roblox Roblox
Open Source libraries, utilities, and projects from Roblox with ❤

San Mateo, California, United States

@ddio
ddio

Taipei, Taiwan

@maxsnew
Max S. New maxsnew

University of Michigan CSE Ann Arbor, MI

@sienori
sienori
Software engineer

Tokyo, Japan

@pigworker
Conor McBride pigworker

Glasgow

@scampanoni
Simone Campanoni scampanoni
I'm passionate about understanding how abstractions used within and around compilers should evolve to better support hardware and applications trends.

Northwestern University United States

@RalfJung
Ralf Jung RalfJung
I am not looking for a new job, please do not contact me for recruiting.