Snow Xuejing Huang

about
publications
repositories (current)
CV

repositories

Selected research repositories and GitHub activity.

GitHub users

xsnow

xsnow

GitHub Repositories

xsnow/bowtie_coq

xsnow/bowtie_coq

xsnow/TamingMerge

xsnow/TamingMerge

xsnow/DistributingTypes

xsnow/DistributingTypes

andongfan/CP-Foundations

andongfan/CP-Foundations

baberrehman/disjoint-switches

baberrehman/disjoint-switches

YeWenjia/TypedDirectedGradualTyping

YeWenjia/TypedDirectedGradualTyping

xsnow/ECOOP2020

xsnow/ECOOP2020

© Copyright 2026 Snow Xuejing Huang. Powered by Jekyll with al-folio theme. Hosted by GitHub Pages. Photos from Unsplash.