bblum Goto Github PK

15411-tests

test cases we studence wrote in the F10 semester of 15-411

aoc

Advent of Code

atomic-all-nighters

static context checking for kernel codebases

bistromath

a chess engine i wrote

cyclotron

golf-horse

a foray into the kolmogorov complexity of english word lists

halide

a language for image processing and computational photography

landslide

stateless model checking for thread libraries, kernels, and transactional memory

landslide-old

Version of landslide for students to use.

landslide-simics

the landslide codebase (old simics version)

netrunnerdb

A Deckbuilder for Android:Netrunner LCG

oopsla-dataset

just a big something i made for oopsla

oopsla-quicksand

just a little something i made for oopsla

papers

serious research papers

pintos

CS162 skeleton code for group projects.

related-work

Brief accountings of related research papers I read.

rust

a safe, concurrent, practical language

rust-lambda-calculus

silly implementation of lambda calculus in rust

shuffler

card shuffling visualisation

sigbovik

stuff I have done for sigbovik -- http://sigbovik.org

simply-love-sm5

a StepMania 5 theme for the post-ITG community

talks

slides for talks and lectures I have given

thesis

landslide master's thesis and related talks

thesis-htm-logs

wordle

automatic solver for the hit game "hello wordl"