ATSlogo
Home(old)
Downloads
Documents
Libraries
Community
Papers
Examples
Resources
Implements
ats-lang-users
ats-lang-devel
Try ATS on-line
The ATS Programming Language
Unleashing the Potentials of Types and Templates!

Wiki for ATS users:

  • This wiki is a major source for ATS users to acquire information on and related to ATS.

ATS news links at reddit:

  • Here is the subreddit for reading and posting any and all news on or related to the ATS programming language.

IRC channel for ATS users: ##ats:

  • Would you like to chat about ATS? Please get onto this IRC channel ##ats to find people who have a similar interest.

StackOverflow tag for ATS:

  • Please use the tag ats for asking/answering ATS-related on StackOverflow.

Q&A forum for ATS users:

  • The google group ats-lang-users acts as a forum for discussing any and all questions about or related to ATS.

Discussion forum for ATS developers:

  • The google group ats-lang-devel acts as a forum for discussing any and all issues about or related to the developement of ATS.

Mailing-list for ATS users:

  • This mailing-list is for discussing general questions about or related to ATS. For the kind of questions involving specifics or details, the google group ats-lang-users should be a more appropriate place.
  • The archive of messages sent to the ATS users mailing-list can be accessed on-line. In particular, using keywords to search the archive is supported.

JATS-UG: Japan ATS User Group:

    Various resources in Japanese on learning and using ATS can be found at JATS-UG, which is maintained by Kiwamu Okabe.

What is new?


2017-06-28:
ATS2-0.3.6 has been released
by Hongwei Xi
2017-05-19:
ATS2-0.3.5 has been released
by Hongwei Xi
2017-04-08:
ATS2-0.3.4 has been released
by Hongwei Xi
2017-03-05:
ATS2-0.3.3 has been released
by Hongwei Xi
2017-02-12:
ATS2-0.3.2 has been released
by Hongwei Xi
2017-01-28:
ATS2-0.3.1 has been released
by Hongwei Xi
2017-01-20:
ATS2-0.3.0 has been released
by Hongwei Xi
2016-12-23:
ATS2-0.2.13 has been released
by Hongwei Xi
2016-11-24:
ATS2-0.2.12 has been released
by Hongwei Xi
2016-11-18:
Compiling ATS via patsopt with g++
by Hongwei Xi
2016-10-15:
A StackOverflow tag for ATS
by Hongwei Xi
2016-10-13:
ATS2-0.2.11 has been released
by Hongwei Xi
2016-09-23:
Automatic interface generation for ATS from C
by Kiwamu Okabe at METASEPI DESIGN
2016-09-03:
ATS2-0.2.10 has been released
by Hongwei Xi
2016-07-18:
ATS2-0.2.9 has been released
by Hongwei Xi
2016-07-15:
Atscc2clj: from ATS to Clojure!
by Hongwei Xi
2016-07-10:
Slides on capturing state transition in ATS
by Kiwamu Okabe at METASEPI DESIGN
2016-06-29:
ATS2-0.2.8 has been released
by Hongwei Xi
2016-05-14:
ATS2-0.2.7 has been released
by Hongwei Xi
2016-02-06:
ATS2-0.2.6 has been released
by Hongwei Xi
2016-01-15:
Paper on ATS Foundation
by Hongwei Xi
2015-12-31:
Metasepi's Year 2015
by Kiwamu Okabe at METASEPI DESIGN
2015-12-22:
ATS2-0.2.5 has been released
by Hongwei Xi
2015-12-02:
Specific Endpoints
by Eric Jones
2015-11-06:
Try ATS in your browser
by Hongwei Xi
2015-11-03:
Running Atscc2js in the browser
by Hongwei Xi
2015-10-28:
ATS2-0.2.4 has been released
by Hongwei Xi
2015-10-24:
Running Patsopt in the browser
by Hongwei Xi
2015-09-22:
ATS2-0.2.3 has been released
by Hongwei Xi
Using codegen2-directives
by Hongwei Xi
RFTP: Session types in ATS
by Hongwei Xi
Slides for learning ATS/LF
by Kiwamu Okabe at METASEPI DESIGN
ATS for Arduino programming
by Kiwamu Okabe at METASEPI DESIGN
Support for $d2ctype is added
by Hongwei Xi
Support for #codegen2 is added
by Hongwei Xi
2015-08-29:
ATS2-0.2.2 has been released
by Hongwei Xi
2015-08-07:
A brief presentation on ATS
by Aditya Siram
2015-07-12:
ATS2-0.2.1 has been released
by Hongwei Xi
2015-06-23:
Tetris: Autoplay is supported
by Hongwei Xi
2015-06-09:
ATS2-0.2.0 has been released
by Hongwei Xi
2015-06-06:
ATS+Z3: ATS-extsolve-z3
by Hongwei Xi
2015-05-22:
ATS2-0.1.13 has been released
by Hongwei Xi
2015-05-16:
ATS2-0.1.12 has been released
by Hongwei Xi
2015-05-12:
Tetris: ATS+Bacon.js
by Hongwei Xi
2015-04-23:
ATS2-0.1.11 has been released
by Hongwei Xi
2015-04-07:
FRP in ATS with Bacon.js
by Hongwei Xi
2015-03-22:
ATS2-0.1.10 has been released
by Hongwei Xi
2015-03-19:
A new ATS2TUTORIAL chapter
(Functional sets and maps)
by Hongwei Xi
2015-03-16:
Slides on learning ATS
by Kiwamu Okabe at METASEPI DESIGN
2015-03-12:
A new ATS2TUTORIAL chapter
(On persistent hashtables)
by Hongwei Xi
2015-02-27:
ATS2-0.1.9 has been released
by Hongwei Xi
2015-02-14:
Let us do geometry!
by Hongwei Xi
2015-02-10:
Programmer-centric theorem-proving
by Hongwei Xi
2015-01-27:
ATS2 can be built with Clang-3.5-O2!
by Hongwei Xi
2015-01-26:
ATS-Postiats-test: code needed for testing!
by Hongwei Xi
2015-01-25:
ATS2-0.1.8 has been released
by Hongwei Xi
2015-01-20:
ATS2-0.1.7 has been released
by Hongwei Xi
2015-01-15:
Learn ATS by solving math puzzles
by Hongwei Xi
2015-01-06:
IntelliJATS-0.0.1 (initial pre-release) available
by Brandon Barker
2015-01-06:
ATS2-0.1.6 has been released
by Hongwei Xi
2014-12-19:
ATS and OSX
by Hongwei Xi
2014-12-10:
ATS development environment for NixOS
by Brandon Barker
2014-12-07:
ATS2-min needs no libgmp
by Hongwei Xi
2014-12-02:
Zen(禅) Practice on ATS
by Kiwamu Okabe at METASEPI DESIGN
2014-12-02:
ATS for Arduino+Yun
by Hongwei Xi
2014-11-20:
ATS2-0.1.5 has been released
by Hongwei Xi
2014-11-18:
ATSCC2PL: from ATS to Perl
by Hongwei Xi
2014-11-10:
ATS for Arduino
by Hongwei Xi
2014-11-07:
Animating sorting in ATS
by Hongwei Xi
2014-10-28:
A simple char driver in ATS
by Hongwei Xi
2014-10-24:
ATS2-0.1.4 has been released
by Hongwei Xi
2014-10-22:
Pure 0.63 supports external code in ATS
by Albert Graef
2014-10-21:
ATS language binding for MonoDevelop
by Artyom Shalkhakov
2014-10-19:
Programming Arduino in ATS
by Kiwamu Okabe at METASEPI DESIGN
[thePageRFooterSep]
This page is created by Hongwei Xi
with tools including ATS/weboxy, atscc2js and atscc2php.