Librerie scritte in ATS

ATS-Postiats

ATS2: liberare le potenzialità di tipi e modelli.
  • 349
  • GNU General Public License v3.0

polyglot

Strumento per contare le righe del codice sorgente. (di vmcchale).
  • 235
  • BSD 3-clause "New" or "Revised"

ATS-Xanadu

  • 168
  • GNU General Public License v3.0 only

ats-acc

  • 28

fast-arithmetic

Sede della libreria di aritmetica veloce per la teoria dei numeri in ATS e Haskell..
  • 22
  • BSD 3-clause "New" or "Revised"

c2ats

generare l'interfaccia ATS dal codice C.
  • 18
  • GNU General Public License v3.0 only