Skip to content




  • Pro
Block or Report

Block or report tanyhb1

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.

Report abuse

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

Report abuse
  • 👋 Hi, I’m Bryan
  • 👀 I’m interested in program synthesis, programming languages and theoretical CS
  • 🌱 I’m currently a senior at Yale-NUS and a MComp candidate at NUS. I will graduate with a MComp next year.
  • You can reach me at or


  1. A parser from Scilla to Z3 written in OCaml for Zilliqa internship

    OCaml 1

  2. Chat Server


  3. suslik Public

    Forked from TyGuS/suslik

    Synthesis of Heap-Manipulating Programs from Separation Logic


163 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri
Activity overview

Contribution activity

September 2021

Created 1 commit in 1 repository

Seeing something unexpected? Take a look at the GitHub profile guide.