Bibliothèques écrites en ATS

ATS-Postiats

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

polyglot

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

ATS-Xanadu

Implémentation d'ATS3 dans ATS2.
  • 151
  • 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..
  • 20
  • BSD 3-clause "New" or "Revised"

c2ats

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