Biblioteki napisane w ATS

ATS-Postiats

ATS2: Uwolnienie potencjału typów i szablonów.
  • 349
  • GNU General Public License v3.0

polyglot

Narzędzie do liczenia linii kodu źródłowego. (przez vmchale).
  • 235
  • BSD 3-clause "New" or "Revised"

ATS-Xanadu

Implementacja ATS3 w ATS2.
  • 168
  • GNU General Public License v3.0 only

ats-acc

Ładne komunikaty o błędach kompilatora ATS.
  • 28

fast-arithmetic

Strona główna biblioteki szybkiej arytmetyki dla teorii liczb w ATS i Haskell.
  • 22
  • BSD 3-clause "New" or "Revised"

c2ats

wygenerować interfejs ATS z kodu C.
  • 18
  • GNU General Public License v3.0 only