Skip to content
View hazeltorek's full-sized avatar
🐧
🐧
33 followers · 66 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@frc-team-342 @clemsonacm @CUHackers

Block or report hazeltorek

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@DevLabAtClemson
DevLab@Clemson DevLabAtClemson
@uzy-s
Uzayr Syed uzy-s
i am a human

Clemson

@jennalwise
jennalwise
Assistant Professor in Electrical and Computer Engineering at Purdue University. I do research in programming language design and software verification.

Purdue University

@ariscript
ari ariscript
research asst. @nuprl @northeastern

@nuprl Boston, MA, United States

@lavenderflowers
lavenderflowers
@viperproject
Viper Project viperproject
Verification Infrastructure for Permission-​based Reasoning

ETH Zurich

@jacobldavis
Jacob Davis jacobldavis
incoming @ google | cs, math @ clemson | prev @ nasa
@gradual-verification
Gradual Verification gradual-verification
@penn-repl
penn-repl
@langjam
langjam
@wangyu-
Yancey Wang wangyu-

USTC / ClemsonU Clemson, South Carolina

@Niashi24
Nia Sparacino Niashi24
@alexadkins
Alex Adkins alexadkins

Clemson University Clemson, SC

@cedar-policy
cedar-policy
@herbie-fp
Herbie Project herbie-fp
Find and fix floating-point problems.
@rui314
Rui Ueyama rui314

Blue Whale Systems Tokyo

@inkandswitch
Ink & Switch inkandswitch
@bablr-lang
bablr-lang
@plclub
The Penn PL Club plclub
@CUHackers
CUhackit CUHackers
Dev Zone for CUhackit!

Clemson University

@kfullero
Kate Fullero kfullero
@clemsonacm
Clemson ACM clemsonacm
We do cool computing things with cool computing people.

Clemson University

@Clemson-Forge
Clemson Forge Clemson-Forge
@lilyinstarlight
Lily Foster lilyinstarlight
Hi, I'm Lily! I'm a computer techromancer with interests in music, education, and OS dev

Philadelphia, PA, US

@Elan456
Ethan Anderson Elan456
CS graduate student at Clemson University

Clemson School of Computing

@mit-plv
Programming Languages and Verification Group at MIT CSAIL mit-plv

MIT CSAIL, Building 32–G8

@adam-mcdaniel
adam mcdaniel adam-mcdaniel
open sourcerer🔓🏗️, musician🎸🎶, and computer science PhD student🎓

University of Tennessee, Knoxville Knoxville, TN

@chloecrozier
Chloe Crozier chloecrozier

@NVIDIA Bay Area, CA

@alpha-convert
Joseph Cutler alpha-convert
PhD student at Penn
@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@radicle-dev
Radicle radicle-dev
The Sovereign Code Forge
@xdesro
Henry Desroches xdesro
creative technologist [ he / him / él ]

Denver, CO

@Bradythebest27
Brady Setser Bradythebest27
Clemson University Honors College '26 Computer Science BS and AI minor. CompTIA Security+ certified
@Quantiset
Ryon Peddapalli Quantiset
Clemson Honors '27 CompSci / Math - I love making and trying new things!

United States of America

@anyproto
Any Association anyproto

Switzerland

@zheneia
eden sharp zheneia
saezheneia
@edenasharpie
Eden Sharp edenasharpie
@magentalang
Magenta magentalang
The Magenta programming language project.
@ix
rosie ix
i think software can be a little better than it is currently

@SupercedeTech

@jackfirth
Jacqueline Firth jackfirth

@google Sunnyvale, CA

@aarthificial
Jacob aarthificial
Creator of Motion Canvas / YouTuber / Game Developer
@clementzheng
clementzheng
@project-beholder
project-beholder
@ionathanch
Jonathan Chan ionathanch
Grad student in PL & former splabmate · MSc @ UBC ⇝ PhD @ UPenn

PLClub @ UPenn Vancouver, Canada

@pikelet-lang
Pikelet pikelet-lang
A friendly little systems language with first-class types. Very WIP.
@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

@knight-lang
Knight knight-lang
Implementations of the Knight programming language.
@wren-lang
Wren wren-lang
Organization for the Wren programming language
@spencerc99
Spencer Chang spencerc99
independent designer, engineer, artist. stewarding the internet to enable us to love each other and dream together

San Francisco, CA

@htn2020plusplus
Legist htn2020plusplus