1. No Halo? :(

2. Are they converting the extracted maps to some common format, for which there's a JS renderer?

They do not share a file format. If you look at the GitHub repo for this site (https://github.com/magcius/noclip.website) you will find parsers, etc. for every single game.