alekmaul released A5200DS to the public. It’s an Atari 5200 emulator based upon Atari800.

A5200DS V1.1

http://gbatemp.net/t293836-atari-5200-emulator