Zencoder
Zencoder is the creator of an open-source HTML5 video player, Video.js, built with Javascript, HTML, and CSS. Video.js plays video via native playback in all HTML5 browsers and devices, or through Adobe Flash when HTML5 playback is not available.
Adobe Presenter Video Express
They can also add annotations and quizzes to their content and publish the video to MP4 or HTML5 formats.