All these names - Neelam, Badami, Mulgoa, Happus, Totapuri, Safeda (often refers to Dasheri), and Himsagar - are different varieties of mangoes grown in various regions of India. Each variety has distinct characteristics in terms of taste, texture, and harvesting season.