Repository for David Rushdoony and Nick Augustyniak's EECS441 projects.