Also very cool: Google's S2 geometry - https://s2geometry.io/

Used by https://catch.astro.umd.edu/