Bibliothèques écrites en Haskell
purescript-native
Un backend de compilateur natif pour PureScript (via C++ ou Golang).
- 606
- BSD 3-clause "New" or "Revised"
reach-lang
Reach: le langage de programmation DApp le plus sûr et le plus intelligent.
- 584
- Apache License 2.0
LambdaHack
Bibliothèque de moteurs de jeu Haskell pour les robots d'exploration de donjons roguelike; veuillez faire part de vos commentaires, par exemple après avoir essayé l'exemple de jeu avec l'interface Web à.
- 580
- BSD 3-clause "New" or "Revised"
Perspec
Application de bureau scriptable pour corriger la perspective des images.
- 545
- GNU Affero General Public License v3.0
reactive-banana
Bibliothèque de programmation réactive fonctionnelle en Haskell..
- 512
- BSD 3-clause "New" or "Revised"
granule
Un langage fonctionnel linéaire typé statiquement avec des types modaux gradués pour un raisonnement de programme à grain fin.
- 511
- BSD 3-clause "New" or "Revised"
copilot
Un cadre de vérification d'exécution basé sur le flux pour générer du code C en temps réel.
- 510
- GNU General Public License v3.0
pi-forall
Une implémentation de démonstration d'un langage simple à typage dépendant.
- 506
- BSD 3-clause "New" or "Revised"
stgi
Une implémentation visuelle STG centrée sur l'utilisateur pour aider à comprendre le modèle d'exécution de GHC/Haskell.
- 502
- BSD 3-clause "New" or "Revised"
attoparsec
Une bibliothèque Haskell rapide pour analyser les ByteStrings.
- 497
- BSD 3-clause "New" or "Revised"
haskell-code-explorer
Application Web pour explorer et comprendre les bases de code Haskell.
- 497
- MIT
monomer
Une bibliothèque graphique multiplateforme facile à utiliser pour écrire des applications Haskell.
- 494
- BSD 3-clause "New" or "Revised"
elaboration-zoo
Implémentations minimales pour la vérification et l'élaboration de types dépendants.
- 490
- BSD 3-clause "New" or "Revised"
criterion
Une bibliothèque puissante mais simple pour mesurer les performances du code Haskell. (par haskell).
- 489
- BSD 3-clause "New" or "Revised"