Miro Video Converter
Miro Video Converter is a tiny open-source application used to convert video files into other formats, including WebM, Ogg Theora, etc. The app can be installed on Android and iOS devices. It has a simplistic design with a handful of options but gets the job done.