glmixer

GLMixer is a real-time graphics mixing for video performance. This app performs in real time the graphical blending of several movie clips.

Typically, you load a set of video samples, and decide on the fly how much they should be visible, lay out the images on the screen, and which effects you apply to them.