.mp4 -> .gif without full FFmpeg library

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.**