Alternatives to jQuery for client-side website animations?

I was recently looking for an alternative JavaScript animation library, because for the few simple animations I wanted, a ~200kb jQuery library is not the best option.

After a bit of searching, I found GSAP, and implemented it successfully (and smoother) than the jQuery animation I had previously created. It weighs in at around 80kb - so still not perfect (but that's with additional plugins to be able to use CSS selectors, if you animate an SVG you can probably omit the 60kb required file).

I'm wondering if there are any other great options available.

Does anyone know of alternative libraries for animating elements with JavaScript?

I'm not interested in Flash at all.