Each of these are in various stages of development (or neglect). Some are more well-maintained than others. I compiled this list of federal education data sources recently for some folks, I thought I'd drop a comment here.
Urban Institute (I think includes IPEDS & College Scorecard) Provides via multiple tools:
College Scorecard (Stata):