You clearly have no idea what you're talking about lol

ffmpeg is a video format conversion tool/encoder/editor and is used in pretty much everything you see or hear. It's used in half the tools you mention!