hips-extra The hips main repository is available at https://github.com/hipspy/hips. The hips-extra will contain additional resources, including datasets (HiPS tiles for given surveys).