@neil are there any options of funding other than tax revenue?

How much is currently paid to foreign corporations for hosting services, providing computing resources, and licensing software?

If those budgets were redirected internally towards open source software, government owned data centres, government employees, or outsourced only to domestic firms, would it be on the same order of magnitude?