Computer Science PhD Candidate at UC San Diego.
Researching PL + HCI + Program Synthesis.
Highlights
- Pro
Popular repositories Loading
-
-
LEAP-Artifact
LEAP-Artifact PublicCHI'24 Code Artifact for "Validating AI-Generated Code with Live Programming"
TypeScript 2
-
-
CS110-SpaceInvaders
CS110-SpaceInvaders PublicA Space Invaders game my friends and I make in a class group challenge. It's one file in C++, and uses ASCII code for graphics.
C++
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.