mwillsey

crossbot

A slackbot to compete on mini crosswords (or any other daily challenge).

egg

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

symbol_table

A string interner

qry

thesis

cs294-260-sp24

mwillsey.github.io

my website

advent-2023

arcstr

Better reference counted strings for Rust

card-game

datastick

egg-herbie-new

a new egg integration for herbie

evil-org-mode

Supplemental evil-mode keybindings to emacs org-mode

frunk

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

herbie

Optimize floating-point expressions for accuracy

i3status-rust

Very resourcefriendly and feature-rich replacement for i3status, written in pure Rust

iai

Experimental one-shot benchmarking/profiling harness for Rust

illusion-z3

incubator-tvm

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

indexmap

A hash table with consistent order and fast iteration; access items by key or sequence index

mwillsey

mwillsey.com

My website.

rust

Empowering everyone to build reliable and efficient software.

rust-mm

matrix mult

silly-bevy-thing

synthvm

td-game

tvm-build

A library for building TVM programmatically.

unload

wordle-solver

its a wordle bot