dav1d is the fastest AV1 decoder on all platforms :)

Targeted to be small, portable and very fast.