After Effects Tutorial: How to export H264 (mp4) - YouTube
How to Save an MP4 in After Effects
How to Export H264 in .MOV QuickTime from Adobe Premiere Pro, Media Encoder and After Effects | Autokroma Plugins for Adobe After & Premiere (AfterCodecs, BRAW Studio, PlumePack, Influx and Vizual)
animation - How to export a GIF from After Effects? - Graphic Design Stack Exchange