AD1024

veripy

Python3 auto-active verification library (migrated to an Intel project)

ad1024.github.io

MyBlog

egg-taichi

Experiment egg for taichi

Music-Scores

Music scores

flexmatch

Flexible Matching: Explore and reveal accelerator-supported workloads in Deep Learning Models

resume

My resume; Latest version available at my blog

CatsTail

CatsTail: Packet program synthesis via equality saturation

papers-fun

A collection of papers with funny names

cse447-project

NLP stands for Next Letter Prediction

egg

egg is a flexible, high-performance e-graph library

extraction-gym

benchmarking e-graph extraction

redart

A (cleaner) re-implementation of DART (SIGCOMM 2022): a real-time RTT monitoring algorithm

simge

Unicall simulation

tensat

Re-implementation of the TASO compiler using 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

github-stats

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/

mul2-maximum

P

The P programming language.

P-Tutorial-Raft

A Raft model (anything else but reconfiguration) implemented in P

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

Open deep learning compiler stack for cpu, gpu and specialized accelerators

tvm-build

A library for building TVM programmatically.

uwsampl.github.io

The UW SAMPL group's website.

waka-box

📊 Update a pinned gist to contain your weekly WakaTime stats

warp