gussmith23

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/

posit-bisection-viz

monotonic-rule-interpreter

tvm

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

2021-04-20-mlir-experiment

arxiv-reader

Reads arXiv papers using Text-to-Speech

dissertation

glenside-hs

rtml-model-characterization

Characterizing the models we care about in RTML

ulti-rs

Rust library implementing Ulti, the national card game of Hungary.

verilator

Verilator open-source SystemVerilog simulator and lint system

2024-plse-game-jam-amy-kevin-gus

2024-summer-amy-gus-kmu-game

blog

my Jekyll blog

egg

egraphs in rust

egg-dsd

egglog

egraphs + datalog!

egraphs-good.github.io

egraphs-good website

fpga-npu

fridge-compiler

Optimizing and compiling boolean circuits using what's in the fridge!

glenside-web-demo

incubator-tvm-site

repo for tvm

minima

Minima is a one-size-fits-all Jekyll theme for writers.

pumpkin-pi

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

rosette

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

rplex

Rust bindings for CPLEX

run-arxiv-reader-on-github-actions

stp

Simple Theorem Prover, an efficient SMT solver for bitvectors

tvm-custom-datatypes-eval

Docker-containerized evaluation of TVM custom datatypes work

VossII

The source code to the Voss II Hardware Verification Suite