Real Estate Across the United States (REXUS) is the primary tool used by PBS to track and manage the government's real property assets and to store inventory data, building data, customer data, and lease information. STAR manages aspects of real property space management, including identification of all building space and daily management of 22,000 assignments for all property to its client Federal agencies. This data set contains PBS building inventory that consists of both owned and leased buildings with active and excess status.



Download all of the following files.


This library has 2 functions you can use.
(require "real_estate.rkt")
(get-buildings false)
(get-buildings-by-state "'VA'")
Additionally, some of the functions can optionally return Big Data using an extra argument. If you use this Big Data, it may be much slower. Wait until you are sure your code is correct before using these examples.
(require "real_estate.rkt")
; These may be slow!
(get-buildings true)



Returns a list of the buildings in the database.


Returns a list of the buildings in the database for a state.