This is an incubator for software related to 'Theoretical Computer Science' (TCS).