Bibliothèques écrites en Haskell
SynthML
Un langage de programmation pour la synthèse de programme dirigée par type.
- 6
- Mozilla Public License 2.0
conffmt
language-conf - analyseurs.conf (par exemple, configuration nginx) et jolies imprimantes pour le langage de programmation Haskell.
- 6
- MIT
Sit
Vérificateur de type prototypique pour la théorie des types avec des nombres naturels dimensionnés (par andreasabel).
- 6
bricks
Bricks est un langage fonctionnel paresseux basé sur Nix. (par chris-martin).
- 6
- Apache License 2.0
tag-bits
Fournit un accès aux bits d'étiquette de pointeur dynamique du GHC.
- 6
- BSD 3-clause "New" or "Revised"
linear-generics
Prise en charge des génériques typés linéairement dans Haskell.
- 6
- BSD 3-clause "New" or "Revised"
text-generic-pretty
Une jolie imprimante générique, dérivable et haskell - Projet de recherche, été 2011 (par joe9).
- 6
- BSD 3-clause "New" or "Revised"