dav1d is a decoder for the AV1 video codec.

It’s optimized for performance to achieve reasonable decoding speed even without hardware decoding support (which is still generally lacking for AV1).