What program does WPMU use for their plugin videos

I'm looking for a video creation program. What program do you guys use to make your videos?