Examples in ATS/Geizella

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

  • INTRO contains several simple introductory examples.

  • 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.

  • MISC contains a set of miscellaneous examples implemented in ATS.

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

  • 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.