HEALPix currently uses FITS (Flexible Image Transport System) files to input and output data sets.
The specifications on the FITS files produced and read by HEALPix are described in this PDF file and example files are available at the same location (https://healpix.sourceforge.io/data/examples).