All videos are in MP4 format using H.264 codec.

You can try out the open-source, cross-platform VLC player, which is downloadable at
https://www.videolan.org/vlc/

