Are there any svg based animation tools that you can recommend please? I crank out SVG but I'd like to be animate it easily for little things like the gifs on the Atom site.

https://atom.io/