MooTools is a fantastic library, with very solid motion tweening and decent documentation/examples. jQuery is also a very solid library.