想找一个在下编辑动画的库

您可以尝试使用以下编辑动画的库：

1. GreenSock Animation Platform（GSAP）：GSAP是一个功能强大的JavaScript动画库，可以用于创建各种类型的动画，包括2D和3D动画、SVG动画、CSS动画和Canvas动画。

2. Anime.js：Anime.js是一个轻量级的JavaScript动画库，可用于创建各种类型的动画，包括2D和3D动画、SVG动画和CSS动画。

3. Popmotion：Popmotion是一个功能强大的JavaScript动画库，可用于创建各种类型的动画，包括2D和3D动画、SVG动画、CSS动画和Canvas动画。

4. Velocity.js：Velocity.js是一个快速的JavaScript动画库，可用于创建各种类型的动画，包括2D和3D动画、SVG动画和CSS动画。

5. Three.js：Three.js是一个功能强大的JavaScript库，可用于创建3D动画和交互式3D应用程序。它可以与WebGL和Canvas API一起使用。

以上这些库都有很好的文档和社区支持，您可以根据自己的需求选择使用。