We consider an energy-functional describing rotating superfluids at arotating velocity ω, and prove similar results as for theGinzburg-Landau functional of superconductivity: mainly the existenceof branches of solutions with vortices, the existence of a criticalω above which energy-minimizers have vortices, evaluationsof the minimal energy as a function of ω, and the derivation of a limiting free-boundary problem.