Depende de lo que entiendas por "bibliotecas". Flixel y FlashPunk son básicamente motores de juego y tienen implementaciones para detección de colisiones, partículas, animación, juegos guardados, reproducción de audio, etc.
Además de estos dos que mencionó, también está el Push Button Engine, que es más modular que los otros dos.
Si está interesado en aprender Flixel o FlashPunk, debería echar un vistazo a su sitio web colaborativo Flash Game Dojo, que es un buen recurso para los juegos basados en Actionscript (especialmente si está desarrollando con Flixel o FlashPunk).
También hay varias bibliotecas especializadas que son muy útiles para los desarrolladores de juegos flash:
- Implementaciones de estructuras de datos poligonales de varias estructuras de datos de uso común. Optimizado para la velocidad.
- Turbosignals una implementación de señal / ranura que está optimizada para la velocidad. Muy útil para juegos y un gran reemplazo para eventos flash.
- ... y, por supuesto, bibliotecas como Away3D o TweenLite