Mike He's repositories
ad1024.github.io
MyBlog
egg-taichi
Experiment egg for taichi
Music-Scores
Music scores
cse447-project
NLP stands for Next Letter Prediction
papers-fun
A collection of papers with funny names
CatsTail
CatsTail: Packet program synthesis via equality saturation
babble
library learning w egraphs
Blog
A blog built by using Koa2+Sequelize+EJS+Semantic UI
CoNR
Official implement of CoNR: Collaborative Neural Rendering using Anime Character Sheets
EasyVtuber
tha2, but run 30fps on 3080 with virtural webcam support
extraction-gym
benchmarking e-graph extraction
glenside
A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://gussmith23.github.io/glenside-web-demo/
Miscellaneous-Artifacts
Various code & programs & proofs I wrote while learning
relax
Temp repo for prototyping relax(relay next), the effort will be upstreamed. We use the wiki pages on this repo to host design docs.
taichi
Productive & portable high-performance programming in Python.
tvm-build
A library for building TVM programmatically.
uwsampl.github.io
The UW SAMPL group's website.