Qvideo
Qvideo is a simple input filter for Drupal that allows you to specify several different video files in different formats, and it embeds the appropriate HTML5 video tags with fallback to a Flash player.
You can find qvideo on GitHub.
At some point I’ll contribute this to the proper Drupal archives but I may wait until they move to Git, which shouldn’t be long!