8000 henrytang1 (Henry Tang) · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View henrytang1's full-sized avatar

Block or report henrytang1

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
henrytang1/README.md

Hi there 👋

I'm Henry Tang, a Princeton University alumni with a degree in Computer Science.

Special thanks to Ava Pun for the profile picture!

Pinned Loading

  1. Hydrofoil Hydrofoil Public

    A linearizable replicated state machine combining leader-based and leaderless protocols for sustained throughput in complex scenarios.

    Go 1

  2. princeton-nlp/align-mlm princeton-nlp/align-mlm Public

    Python 13

  3. aaronwu667/CRAQ-Verified aaronwu667/CRAQ-Verified Public

    Verification of Terrace and Freedman's CRAQ protocol in Ivy, following the Sift methodology. Final project for COS516 Fall 22.

    C++ 1

  4. brain-tumour-segmentation brain-tumour-segmentation Public

    A brain segmentation web app that automatically outlines brain tumours from MRI scans.

    Jupyter Notebook 4 2

  5. soil-sampler soil-sampler Public

    Autonomous soil sampler robot. Gathers soil at selected location, and outputs characteristics of the collected soil.

    Python

  6. DrRepair DrRepair Public

    Forked from ruijiefang/DrRepair

    Modifications of DrRepair, an NLP model that uses compiler messages to locate and correct errors in C/C++ programs. Final project for COS 484.

    Python

0