Examples in ATS/Anairiats

This website contains a variety of examples implemented in ATS/Anairiats.

Introduction

INTRO contains several simple introductory examples.

Unclassified

MISC contains a miscellaneous collection of examples implemented in ATS.

SHOOTOUT contains a set of examples taken from the site for Computer Language Shootout. The efficiency of ATS is convincingly demonstrated in many examples in this set where programs in ATS outperform their counterparts in C by clear margins.

Systems Programming

SOCKET contains some examples implemented in ATS that involve UNIX socket programming.

AUP contains some examples adapted from the book Advanced UNIX Programming (2nd edition) by Marc Rochkind.

Graphics Programming

Xlib contains some examples implemented in ATS that involve the Xlib programming.

CAIRO contains some examples implemented in ATS that involve the cairo vector graphics library.

OpenGL contains some examples implemented in ATS that involve OpenGL programming.

SDL contains some examples implemented in ATS that involve SDL programming.

GTK contains some examples implemented in ATS that involve GTK programming.

Parallel Programming

MULTICORE contains a set of examples that can take advantage of multicore architectures.

Theorem-Proving

LF contains a set of examples encoding deduction symtems and their (meta-)properties.

This page is maintained by Hongwei Xi. As always, your comments are welcome.