Shark Player

A hardware-accelerated video player for egui. Made using mpv.

It currently uses a lot more VRAM than seems neccesary. I have to investigate this. Despite that, it works and performs well.