LottieFiles is an open-source animation file format that's tiny, high quality, interactive, and can be manipulated at runtime.