.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