I initiated an API for using pygame in ATS:
https://github.com/githwxi/ATS-Postiats-contrib/tree/master/contrib/libatscc/libatscc2py/SATS/PYgame
https://github.com/githwxi/ATS-Postiats-contrib/tree/master/contrib/libatscc/libatscc2py/TEST/PYgame
This is mostly for the purpose of teaching programming.
In order to try it, you need to install pygame for Pythion3 and also
generate atscc2py (for compiling
the C output from ATS source into Python3). Here is a script showing how
atscc2py can be installed:
Cheers,
–Hongwei