You may want to play your video directly from your computer, but another great option is to use a little digital media player like the ones listed below. They are relatively inexpensive and you can load your video file onto an SD card or USB thumb drive for playback. The HD video quality is excellent. The products are linked below so that you can conveniently purchase on Amazon.
(As an Amazon Associate we earn a small commission from qualifying purchases)
MyPin 4K Media Player This small unit provides HD source video up to 4K through an HDMI connection. You will need a USB drive or an SD card loaded with your video files which you plug into the box. It can be set to play video on power up and it will play all of the video files on your drive sequentially then repeat by default. Remote control is included. This one seems to have the fewest technical problems of any I have tried. About $60
NEUMI Atom 4K Ultra-HD Digital Media Player for USB Drives and SD Cards – with HDMI and Analog AV, Automatic Playback and Looping Capability
This little box will provide HD quality video up to 4K through an HDMI cable to your projector. You will need a thumb drive or SD card loaded with your video file which you plug into the box. It can be set to play video on power up and it will play all of the video files on your drive sequentially then repeat by default. It comes with a remote control. It supports a wide variety of video file formats. This goes for about $50
HDMI Media Player, AGPtek Black Mini 1080p Full-HD Ultra HDMI Digital Media Player for -MKV/RM- HDD USB Drives and SD Cards