Actually it is: https://github.com/ffmpegwasm/ffmpeg.wasm, but for this particular project it seems using mp4box from gpac