Other US gov't agencies use open source. NOAA runs a private sourcforge instance. They also run linux on some of their data processing systems.