Resources for “The HAL Project”