.mp4 -> .gif without full FFmpeg library

[1kilogram]

Where can I find a library that will return data from each frame of an .mp4 video that can be converted to jpeg, for example? Or can the video be converted directly to gif-animation (with % quality of .gif image)?

Without using the complete FFmpeg library which is more than 10 mb.

[makeding]

This is a version I built with mp4 -> gif support: https://github.com/ugoira/ffmpeg.js The file size is about 9mb and 1.5mb for gziped