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"
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"