Skip to content
Marvin's Toolbox.

Search tools

Type to filter all tools

GIF to Video Converter

Convert an animated GIF into an MP4 or WebM video. Videos are far smaller than GIFs and play everywhere, so this is the quickest way to make a heavy GIF shareable.

Everything runs locally in your browser. Your data never leaves your device.

GIF

Drop an animated GIF here

Click to choose a file.

It never leaves your browser.

Next steps

Send this tool's output straight into another tool.

Video Trimmer

Cut a section out of a video on a frame-accurate timeline with a live preview. Drag the start and end handles, preview just your selection, and export either with the original quality kept or re-encoded to MP4 or WebM.

videomedia

Video to GIF Converter

Turn a video clip into an animated GIF. Pick the exact section on a timeline, set the frame rate, size and loop behavior, and fine-tune the palette for a small file that still looks good.

videoimagemediaconverter

Hash Generator

Hash text or a file with MD5, SHA-1, SHA-256, SHA-512, SHA-3, BLAKE2, BLAKE3, CRC32 and more, all computed live as you type. Compare against an expected checksum and copy any digest.

devsecurity

Checksum Validator

Verify a checksum online: drop a file, paste the expected checksum and see instantly whether they match. The hash type is detected from the checksum itself, covering MD5, SHA-1, SHA-256, SHA-512, BLAKE3, CRC-32 and more, and sha256sum lines or whole checksum files can be pasted as-is.

devsecurity

Data Compressor

Compress text or a file with gzip, deflate, brotli or Zstandard and see the size before and after, the compression ratio and how long it took. One click tries every method and recommends the smallest result.

devcompress

Data Decompressor

Decompress gzip, deflate, brotli or Zstandard data from a file or pasted Base64 and read the result as text or download it. Detects the format from the magic bytes where possible, with a manual override.

devcompress

Hex Viewer

Inspect any file or text as a hex dump with offsets, byte values and an ASCII column. Jump to an offset, search for bytes or text, select a range to see it decoded as integers and strings, and copy or download the dump.

dev

Video Inspector

See everything about a video file: duration, resolution, aspect ratio, frame rate, codecs, bitrate, container details and audio tracks, with a frame preview and a per-track breakdown. Reads MP4, WebM, MKV, MOV and more.

mediavideo

Video to Frames

Extract still frames from a video. Grab every frame, every Nth one or one per second, or step through and pick single frames by hand. Choose PNG, JPEG or WebP for the output and download everything as a zip.

mediavideoimageconverter

About the GIF to Video Converter Tool

This tool converts an animated GIF into an MP4 or WebM video. GIF is a wildly inefficient way to store motion, the same clip as an H.264 video usually lands around a tenth of the size and often much less. Drop a GIF in, pick the format and quality, and download a small video that plays everywhere.

Before converting, the tool reads the file's facts straight from the bytes: pixel size, frame count, length, average frame rate and the loop setting. Afterwards it shows the size before and after, with the result playing in a preview player.

What you can do

  • Convert a GIF to MP4 (H.264) or to WebM.
  • Shrink a heavy GIF to a fraction of its size for sharing.
  • See a GIF's frame count, length, frame rate and loop setting.
  • Trade detail against size with a quality slider.
  • Compare the file size before and after conversion.

How to use the GIF to Video Converter

  1. 1Drop in an animated GIF, or click to choose one.
  2. 2Check the facts the tool read from it, like frames, length and loops.
  3. 3Pick MP4 or WebM and set the quality.
  4. 4Convert, preview the video and download it.

Why videos beat GIFs

GIF stores every frame as a full indexed image and compresses it with a scheme from 1987. Modern video codecs predict each frame from its neighbors, which is why the same motion comes out many times smaller as MP4. Platforms like X and Reddit run exactly this conversion on every GIF you upload, this tool lets you do it yourself.

The even-dimension detail

H.264 with the standard pixel format refuses odd widths and heights, the classic reason a gif to mp4 conversion fails. This tool pads odd sizes by a single pixel row or column instead of rescaling, so a 481 pixel wide GIF becomes a 482 pixel wide video with the picture itself untouched.

About looping

MP4 and WebM don't store a loop flag, so whether the video repeats is up to the player. On a web page, the loop attribute on the video tag recreates the endless GIF feel, and the preview on this page loops so you can compare. The tool shows the GIF's own loop setting before you convert, so you know what the original did.

To go the other way and make a GIF from a video section, use the Video to GIF Converter. If the video should be even smaller, run it through the Video Compressor.

Credits

Open source does the heavy lifting in this tool. Thank you to:

  • ffmpeg.wasm

    A WebAssembly build of FFmpeg, the audio and video toolkit behind half the media software you know.

Everything this site builds on is listed on the credits page.

Related tools

Frames to Video

Turn a series of images into a video. Drop in your frames, reorder them, set the frame rate and resolution, and encode the result as MP4 or WebM, ready to play anywhere.

mediavideoimageconverter

Video to Frames

Extract still frames from a video. Grab every frame, every Nth one or one per second, or step through and pick single frames by hand. Choose PNG, JPEG or WebP for the output and download everything as a zip.

mediavideoimageconverter

Video to GIF Converter

Turn a video clip into an animated GIF. Pick the exact section on a timeline, set the frame rate, size and loop behavior, and fine-tune the palette for a small file that still looks good.

videoimagemediaconverter

Image Converter

Convert images between JPEG, PNG, WebP and AVIF. Drop in as many as you like, pick a format, and dial in the quality for the lossy ones. When you convert to JPEG, choose the colour that fills any transparency. Live previews, download one or all at once.

mediaimageconverter

Image to Text (OCR)

Read the text out of a screenshot, photo or scan with OCR. Pick the language, watch the recognition progress, review the result with per-word confidence, and copy or download the extracted text.

mediaimagetextconverter

Subtitle Converter

Convert subtitles between SRT and VTT, shift their timing forward or backward, and fix frame rate drift to sync out-of-sync captions. Preview the parsed cues, catch format errors, and download the converted file.

textconvertervideomedia