GIF to video converter

Purpose & User Intent: This tool converts GIF animations into widely supported video formats (MP4 or WebM) to improve playback compatibility on websites, apps, and social platforms. Target users include content editors, marketers, and developers needing consistent rendering across devices. By dropping GIF-specific constraints, it enables standard codecs, controllable frame rates, and predictable file sizes. Core Logic & Features: Required inputs are a GIF file and an output format. Optional features include target width and height, frame_rate, start_time, end_time, and a chosen bitrate or quality preset. The core pipeline decodes GIF frames, remaps timing to the target frame rate, optionally resizes, and encodes to MP4 (H.264/AAC) or WebM (VP9/opus). Audio is not extracted from GIFs; adding audio must occur in a separate step. Inputs & Outputs: Inputs: gif_file (file, required), output_format (MP4/WebM, required), width (px, optional), height (px, optional), frame_rate (fps, optional), start_time (s, optional), end_time (s, optional). Outputs: video_file (file), duration (s), size (bytes), frame_count (int). Validation ensures non-negative times, positive dimensions, and compatibility. Algorithms & Calculations: Decode frames, interpolate or drop frames to match frame_rate, resize if requested, encode using target codec and bitrate. Duration = end_time - start_time if provided, else derived from frames and frame_rate. Bitrate governs size and fidelity. Error & Edge Cases: Bad input, unsupported format, or missing required fields cause failure. Very large GIFs may require more memory or time. Corrupted frames may be skipped; out-of-range times are clamped. No audio extraction from GIFs. Industry/Region & Localization: Uses ISO media formats; units are pixels and seconds; no locale-specific data assumed. Assumptions & Exclusions: GIFs contain frames only; no built-in audio; no watermarking; upscaling limited by presets; no in-tool audio embedding.