Skip to content
View charlesyuan314's full-sized avatar
40 followers · 4 following

Organizations

@psg-mit

Block or report charlesyuan314

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

Pinned Loading

  1. psg-mit/tower-oopsla22 psg-mit/tower-oopsla22 Public

    OOPSLA'22 Artifact for "Tower: Data Structures in Quantum Superposition".

    OCaml 11 1

  2. psg-mit/twist-popl22 psg-mit/twist-popl22 Public

    POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".

    OCaml 43 7

  3. psg-mit/qcm-artifact psg-mit/qcm-artifact Public

    OOPSLA'24 Artifact for "Quantum Control Machine: The Limits of Control Flow in Quantum Programming".

    OCaml 5

  4. psg-mit/spire-artifact psg-mit/spire-artifact Public

    PLDI'24 Artifact for "The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation".

    OCaml 3 1