GPS Time Machine adjusts for the offset between UTC and GPS time based on the number of leap seconds for the specified date. - View it on GitHub