*ATS [#z29a8c17]

-http://www.ats-lang.org/
-http://jats-ug.metasepi.org/
-http://www.cs.bu.edu/~hwxi/
-https://github.com/githwxi