Pinned Repositories
egg
egg is a flexible, high-performance e-graph library
egglog
egraphs + datalog!
crossbot
A slackbot to compete on mini crosswords (or any other daily challenge).
cs265
Website for CS 265
cs294-260-sp24
egg
egg is a flexible, high-performance e-graph library
NES
my shot at a clean, simple NES emulator
qry
symbol_table
A string interner
thesis
mwillsey's Repositories
mwillsey/NES
my shot at a clean, simple NES emulator
mwillsey/actix-website
The Actix website.
mwillsey/dotfiles
my dotifles
mwillsey/freezegun
Let your Python tests travel through time
mwillsey/frunk
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
mwillsey/goddity
generalized oddity
mwillsey/home-manager
Manage a user environment using Nix
mwillsey/i3status-rust
Very resourcefriendly and feature-rich replacement for i3status, written in pure Rust
mwillsey/layer-lean
A Spacemacs layer for Lean
mwillsey/lean
Lean Theorem Prover
mwillsey/minirust
mwillsey/old-site
My old personal site. See the new repo
mwillsey/samidavies.github.io
my website
mwillsey/simple-lang
A simple programming language
mwillsey/spacemacs
My personal fork of spacemacs
mwillsey/wg-net
Rust 2018 Networking Working Group