I think you can use ffmpeg to decode to a buffer (memory or disk as needed), and the re-encode from that buffer into various sizes/formats. don't think you actually need a different encoder/decoder to do that. I may be horribly wrong though :)