I was looking into similar projects recently. The one you linked certainly seems to be the best option right now, however it's worth noting that there is also the DASH IF (Industry Forum) reference player[1], and JW Player[2] also offers support for a HTML5 DASH player.
I believe support for HTML5 media extensions was added to Firefox 42, and has been around in other browsers for a while.
http://www.dash-player.com/