Yaoda Zhou's repositories
Recursive-Subtyping-for-All
The artifact of the paper "Recursive Subtyping for All"
Iso-Recursive-Subtyping
Revisiting Iso-Recursive Subtyping
dissertation-artifacts
The Coq proofs of my dissertation "Iso-Recursive Subtyping: New Theory and Extensions"
animal
programming 2014 fall final project
benchmark
TorchBench is a collection of open source benchmarks used to evaluate PyTorch performance.
ESOP2019-artifact
Distributive Disjoint Polymorphism for Compositional Programming
first-class-trait
Type system for first-class traits
Gradient
Yet another hexo theme.
hexo-theme-edinburgh
Beautiful minimal portfolio theme for Hexo.
hexo-theme-Mic_Theme
hexo theme
hkuplg.github.io
Website of the University of Hong Kong Programming Languages Group
Kaleidoscope
Implementing a Language with LLVM
metalib
The Penn Locally Nameless Metatheory Library
ProjectEuler
report of PE
ros_comm
ROS communications-related packages, including core client libraries (roscpp, rospy, roslisp) and graph introspection tools (rostopic, rosnode, rosservice, rosparam).
scrapy_dblp
Algorithm 2014 Final Project
SimpleObjects
A simple type system implementing object calculus
torchdynamo
A Python-level JIT compiler designed to make unmodified PyTorch programs faster.
tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators