Для анимации есть:
http://f4l.sourceforge.net/
(Flash4Linux)
Но я, будучи нубом в линухе, установить на Ubuntu не смог,
и вообще - говорят страшная штука, еквивалентная где-то 4 версии Flash IDE
А для кодинга - вроде подымалась уже тема здесь: Flex SDK работает, помоему даже FlexBuilder есть под линь, haXe как компилятор тоже работает - сложно, правда, для него вменяемый редактор кода подобрать