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 a variety of examples in
the repository, demonstrating (with documentation) ways of writing
programs in ATS3 and compiling them.