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/

lakeroad

FPGA synthesis tool powered by program synthesis

posit-bisection-viz

churchroad

FPGA synthesis tool powered by equality saturation and program synthesis.

lakeroad-evaluation

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

verilator

Verilator open-source SystemVerilog simulator and lint system

churchroad-evaluation

2024-09-plse-game-jam

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

2024-summer-amy-gus-kmu-game

blog

my Jekyll blog

caps-track

Caps tracking webapp, initially created for the potential Caps Nationals 2025.

egg

egraphs in rust

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

rosette

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

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