Please find various information on downloads for learning and using ATS3 as well as contributing to its development.
XATSHOME is a public repository
located at github.com. By git-cloning this repository, one can
readily have access to XATS2JS (for compiling ATS3 to JS) and XATS2PY
(for compiling ATS3 to PY). One can also find many examples in the
repository, which demonstrate (with documentation) a variety of ways
of writing programs in ATS3 and compiling them.