The HoverKraft Christmas website uses the following code:
Kaleidoscope fun in Flash, with superfast image export, by Jop Wielens.
TweenLite, a lightweight, fast tweening engine, by GreenSock.
Saving Flash graphics as image files at runtime by Clive Goodinson.
Loading an XML with AS3 by Tiago Dias.
And the beautiful music is by Kevin MacLeod.