Leaflet is actually listed at [1], I believe it's totally orthodox :-)
[1] https://en.wikipedia.org/wiki/International_Image_Interopera...
OpenSeadragon, the one they're using, is also listed there. First on the list.