Biblioteke napisane u ATS u

ATS-Postiats

ATS2: oslobađanje potencijala vrsta i predložaka.
  • 349
  • GNU General Public License v3.0

polyglot

Alat za brojanje linija izvornog koda. (autor vmchale).
  • 235
  • BSD 3-clause "New" or "Revised"

ATS-Xanadu

Implementacija ATS3 u ATS2.
  • 168
  • GNU General Public License v3.0 only

ats-acc

Pretty-print poruke o pogrešci ATS Compiler-a.
  • 28

fast-arithmetic

Dom knjižnice brze aritmetike za teoriju brojeva u ATS-u i Haskellu..
  • 22
  • BSD 3-clause "New" or "Revised"

c2ats

generirati ATS sučelje iz C koda.
  • 18
  • GNU General Public License v3.0 only