I thought the Boring company was the most "obviously for Mars" project. One of the cheapest ways to create pressurized, radiation-sheltered spaces is to dig.