vMix supports recording the Output into a number of formats including AVI and MP4.
Recommended Recording Settings
Setup
Record
Second Recorder
Fault Tolerant Recordings