HDR sequencer

Is there a way to export and HDR video from Sequencer in Blender?

Not really, no. It’s possible to export pixel data formatted for HDR, although even that will require getting the data elsewhere or changing the OCIO config. And no matter what you can’t save to a 10bit video file or embed the HDR metadata.