Bibliothèques écrites en ATS

ATS-Postiats

ATS2: libérer le potentiel des types et des modèles.
  • 349
  • GNU General Public License v3.0

polyglot

Outil pour compter les lignes de code source. (par vmchale).
  • 235
  • BSD 3-clause "New" or "Revised"

ATS-Xanadu

Implémentation d'ATS3 dans ATS2.
  • 168
  • GNU General Public License v3.0 only

ats-acc

Messages d'erreur en jolis caractères du compilateur ATS.
  • 28

fast-arithmetic

Accueil de la bibliothèque d'arithmétique rapide pour la théorie des nombres dans ATS et Haskell..
  • 22
  • BSD 3-clause "New" or "Revised"

c2ats

générer l'interface ATS à partir du code C.
  • 18
  • GNU General Public License v3.0 only