Video and audio converters

Convert videos to GIF animations and extract audio tracks from video files.