Skip to content




  • Pro
Block or Report

Block or report fangyi-zhou

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

Pinned Loading

  1. 《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版

    HTML 123 16

  2. A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.

    OCaml 16 6

  3. All your angery are belong to us

    Python 3

  4. Artifact for "Statically Verified Refinements for Multiparty Protocols" (Accepted by OOPSLA '20)

    F* 4

  5. Summarising important legal cases about transgender rights in England and Wales


1,176 contributions in the last year

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

Contribution activity

December 2021

Created 2 repositories

Created a pull request in ocaml-community/sedlex that received 4 comments

Fix exponential time behaviour when constructing Alt

Fixes #97 by removing a redundant evaluation Signed-off-by: Fangyi Zhou

+1 −1 4 comments
Opened 1 other pull request in 1 repository
open-telemetry/opentelemetry-collector 1 merged

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