We used to use a tool called flump to rasterize flash animations for iOS games (I ended up writing our runtime and renderer in Unity and later SpriteKit to consume that data). I bet it wouldn’t be too hard to build an exporter from Flash (the program, now Animate) to this runtime if the features are fairly compatible.