Bibliotecas escritas em ATS

ATS-Postiats

ATS2: Liberando o Potencial de Tipos e Modelos.
  • 349
  • GNU General Public License v3.0

polyglot

Ferramenta para contar linhas de código-fonte. (por vmchale).
  • 235
  • BSD 3-clause "New" or "Revised"

ATS-Xanadu

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

ats-acc

Mensagens de erro de impressão bonita do compilador ATS.
  • 28

fast-arithmetic

Lar da biblioteca de aritmética rápida para teoria dos números em ATS e Haskell.
  • 22
  • BSD 3-clause "New" or "Revised"

c2ats

gerar interface ATS a partir do código C.
  • 18
  • GNU General Public License v3.0 only