Source code for the Gauntlet Project #THP