宁夏小程序的名称有以下几种：
宁夏健康码：
可以通过“我的宁夏”App或“我的宁夏政务服务”微信小程序进行申领。
智游宁夏：
由宁夏回族自治区文化和旅游厅推出的旅游小程序，提供旅游相关的信息和功能。
i银川：
银川市审批局推出的政务服务微信小程序，提供便捷的政务服务。
宁农旅：
宁夏回族自治区乡镇企业经济发展服务中心指导运营的休闲农庄服务平台。
建议您根据具体需求选择合适的小程序。如果需要申领健康码，可以选择“我的宁夏”App或“我的宁夏政务服务”微信小程序；如果计划旅游，可以使用“智游宁夏”小程序；如果需要办理政务服务，可以尝试“i银川”微信小程序；而对于休闲农庄的预约和导航，则可以使用“宁农旅”微信小程序。