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!