Bibliothèques écrites en Haskell
HDBC-session
Ce référentiel comprend un générateur de requêtes jointes basé sur l'algèbre relationnelle typefull et des outils de mappage entre la liste de valeurs SQL et le type d'enregistrement Haskell.
- 226
- BSD 3-clause "New" or "Revised"
diagnose
Une bibliothèque simple pour signaler les erreurs du compilateur/interpréteur.
- 222
- BSD 3-clause "New" or "Revised"
unordered-containers
Types de conteneurs efficaces basés sur le hachage.
- 222
- BSD 3-clause "New" or "Revised"
hid-examples
Exemples pour accompagner le livre "Haskell en profondeur".
- 221
- BSD 3-clause "New" or "Revised"
blaze-from-html
Une bibliothèque de combinateurs HTML incroyablement rapide pour Haskell.
- 220
- BSD 3-clause "New" or "Revised"
sbv
Vérification basée sur SMT dans Haskell. Exprimez les propriétés des programmes Haskell et prouvez-les automatiquement à l'aide de solveurs SMT.
- 219
- BSD 3-clause "New" or "Revised"
cassava
Une bibliothèque d'analyse et d'encodage CSV optimisée pour une utilisation facile et des performances élevées.
- 218
- BSD 3-clause "New" or "Revised"
sixty
Vérificateur de type dépendant utilisant la normalisation par évaluation.
- 218
- BSD 3-clause "New" or "Revised"
cardano-ledger
La mise en œuvre du grand livre et les spécifications de la blockchain Cardano.
- 216
- Apache License 2.0
haskeline
Une bibliothèque Haskell pour la saisie de ligne dans les programmes en ligne de commande.
- 210
- BSD 3-clause "New" or "Revised"
postgresql-simple
Bibliothèque client de niveau intermédiaire pour accéder à PostgreSQL depuis Haskell.
- 208
- BSD 3-clause "New" or "Revised"
optparse-generic
Générez automatiquement un analyseur de ligne de commande pour votre type de données.
- 205
- BSD 3-clause "New" or "Revised"
Allure
Allure of the Stars est un jeu de combat d'escouade tactique et roguelike de science-fiction proche du futur écrit en Haskell; merci de nous faire part de vos commentaires, par exemple après avoir essayé la version de l'interface Web sur.
- 200
- GNU Affero General Public License v3.0
quickcheck-state-machine
Testez des programmes monadiques à l'aide de modèles basés sur des machines à états.
- 196
- BSD 3-clause "New" or "Revised"
snap-server
Une bibliothèque de serveur HTTP rapide, qui exécute les gestionnaires Web Snap.
- 195
- BSD 3-clause "New" or "Revised"