Bibliotecas escritas en ATS

ATS-Postiats

ATS2: Desatando el Potencial de Tipos y Plantillas.
  • 349
  • GNU General Public License v3.0

polyglot

Herramienta para contar líneas de código fuente. (por vmchale).
  • 235
  • BSD 3-clause "New" or "Revised"

ATS-Xanadu

Implementando ATS3 en ATS2.
  • 168
  • GNU General Public License v3.0 only

ats-acc

Pretty-print mensajes de error del compilador ATS.
  • 28

fast-arithmetic

Hogar de la biblioteca de aritmética rápida para la teoría de números en ATS y Haskell.
  • 22
  • BSD 3-clause "New" or "Revised"

c2ats

generar interfaz ATS a partir de código C.
  • 18
  • GNU General Public License v3.0 only