GIF Animation Encoder
Whilst technically not a video format, GIF allows the creation of short clips which play as a video when used on sites which do not allow videos. The modern equivalent is webm. Gif files are not efficient at encoding video, so it is best to keep the length short, and use the DSP effect Frame Rate to reduce the fps to around two. Note also gif files have no audio.