slyubomirsky

relay_fuzzer

A constraint-based solver for TVM Relay (WIP)

sumo-ilp

Sumo tournament scheduling via integer linear programming

tvm

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

aws-encryption-sdk-java

AWS Encryption SDK

ChromeBookmarkSampler

Extremely barebones Chrome extension that takes a random sample of the bookmarks in a given folder

d3

A JavaScript visualization library for HTML and SVG.

div-by-zero-checker

flexmatch

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

methylation_imputation

mlc-llm

Enable everyone to develop, optimize and deploy AI models natively on everyone's devices.

pumpkin-pi

An extension to PUMPKIN PATCH with support for proof repair across type equivalences.

putty-color-themes

PuTTY Color Themes

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.

relay-aot-1

An experimental ahead of time compiler for Relay.

relay-bench-1

A repository containing examples and benchmarks for Relay.

SelfBlocker

Stupid Chrome extension for configuring URLs to block on days of the week

slyubomirsky.github.io

Personal website

Specs

Contains the specifications for the Java language used by OpenJML.

tvm-rfcs

A home for the final text of all TVM RFCs.