This site has moved to https://hammerresearchgroup.github.io/ .