Perpustakaan yang ditulis dalam ATS

ATS-Postiats

ATS2: Melepaskan Potensi Jenis dan Template.
  • 349
  • GNU General Public License v3.0

polyglot

Alat untuk menghitung baris kode sumber. (oleh vmchale).
  • 235
  • BSD 3-clause "New" or "Revised"

ATS-Xanadu

Menerapkan ATS3 di ATS2.
  • 168
  • GNU General Public License v3.0 only

ats-acc

Pesan kesalahan cetak cantik dari ATS Compiler.
  • 28

fast-arithmetic

Rumah perpustakaan aritmatika cepat untuk teori bilangan di ATS dan Haskell..
  • 22
  • BSD 3-clause "New" or "Revised"

c2ats

menghasilkan antarmuka ATS dari kode C.
  • 18
  • GNU General Public License v3.0 only