As far as I know mpv is descended from mplayer and still plays a pretty big part in the media player landscape these days.