Anyone know of a free program to remove the shaking from a video?

We got some videos from our vacation, and some, such as the ones shot from the helicopter, are pretty shaky, even with the anti shaking features of the camera.

Anyone know of any free software that can process a video and help remove some of the shakiness (I assume by cropping it on the correct side per frame)?
Windows or Linux is fine 🙂

Thanks.