18F, an arm of the General Services Administration, is a digital services provider for the federal government.