Gus Smith

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

churchroad. FPGA synthesis tool powered by equality saturation and program synthesis.

posit-bisection-viz. JavaScript

textgan. PSU CSE 583 (Pattern Recognition) Spring 2018 Term Project

lakeroad-evaluation. Verilog

tvm-custom-datatype-samples. Code samples showing how to use custom datatypes in TVM

opensurf. OpenSURF, originally by Chris Evans.

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

churchroad-private. Rust

egraph-serialize-neo4j. Rust

babble_bot. it's that babble boy

monotonic-rule-interpreter. Racket

churchroad-evaluation. Python

2025-orconf-demo. C++

2025-latchup-demo. Lakeroad and Churchroad demo for Latch-Up 2025.

arxiv-html-to-epub. Converts HTML Arxiv papers to epub files for easy mobile (or otherwise) reading.

cv. TeX

relay-app. A node.js app written for our Relay for Life event: tracks laps via RFID in PVC batons, and displays pretty stats using SQLite, Jade, CSS, JQuery, Bootstrap, and the rest of that happy webdev family.

arxiv-reader. Reads arXiv papers using Text-to-Speech

AndroidRTPVideoStream. Java

glenside-hs. Haskell

HalideIR. Symbolic Expression and Statement Module for new DSLs

verilator. Verilator open-source SystemVerilog simulator and lint system

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

dissertation. TeX

seashell. A typed programming language for safe high-level synthesis

rtml-model-characterization. Characterizing the models we care about in RTML

HapticBand-OpenTLD. HapticBand reworked using OpenTLD to track the object.

GameFramework. C++