Government documents provide information produced by government agencies at all levels. These include reports from government-funded research and information about governing. The Federal Depository Library Program allows designated libraries to provide free public access to government documents. Florida Tech's library receives a selection of documents through this program and houses over 200,000 documents. Users can search the online catalog or paper indexes to find documents on topics like NASA, the census, and laws.