Try ATS in your browser
This server-less service is entirely done in client-side JS.
Patsopt is the command for compiling ATS source code into C.
The JS-version of Patsopt used here is generated with the help of Emscripten.
Atscc2js is the command for compiling C code generated from ATS source into JS.
The JS-version of Atscc2js used here is generated with the help of Emscripten.
The GUI for Try-ATS-in-your-browser is largely intuitive:
The input box following the button Patsopt is for
passing options to Patsopt.
If the box in front of the button Atscc2js is checked,
then the C code produced by calling Patsopt is automatically compiled
If the box in front of the button Evaluate is checked,
then the JS code produced by calling Atscc2js is automatically evaluated
(by the browser).
The boxes of the names Patsopt-out and Atscc2js-out (at the lower
right corner) can be checked to choose whether the output produced by
Patsopt or Atscc2js should be displayed in the right window.