A repository for collaboration on FoolHardy project