Bibliothèques écrites en Haskell
star
semi-anneaux et *-semi-anneaux de types en base/plate-forme haskell.
- 38
- BSD 3-clause "New" or "Revised"
categorifier
Interprétez les programmes Haskell dans n'importe quelle catégorie fermée cartésienne.
- 38
- BSD 3-clause "New" or "Revised"
nom
Implémentation Haskell des types de données nominaux et des fonctions (par bellissimogiorno).
- 38
- BSD 3-clause "New" or "Revised"
cabal-meta
évitez l'enfer des dépendances cabales en installant toutes vos dépendances cabales en même temps.
- 37
- BSD 3-clause "New" or "Revised"
twee-lib
Un démonstrateur de théorème équationnel basé sur la complétion de Knuth-Bendix.
- 37
- BSD 3-clause "New" or "Revised"
hadoop-tools
Des outils pour travailler avec Hadoop, écrits avec la performance à l'esprit.
- 37
- Apache License 2.0
postgresql-simple-named
:question: Implémentation de paramètres nommés pour la bibliothèque `postgresql-simple`.
- 37
- Mozilla Public License 2.0
tasty-hedgehog
Intégration savoureuse pour la bibliothèque de test de propriétés Hedgehog.
- 37
- BSD 3-clause "New" or "Revised"
jvm-parser
Un analyseur Haskell pour les fichiers de bytecode JVM.
- 37
- BSD 3-clause "New" or "Revised"
aeson-diff
Générez et appliquez des différences entre les documents JSON.
- 37
- BSD 3-clause "New" or "Revised"
zippers
Fermetures à glissière basées sur les lentilles et les traversées.
- 37
- BSD 3-clause "New" or "Revised"
http2-client-grpc
gRPC sur HTTP/2 pour Haskell, client et serveur.
- 37
- BSD 3-clause "New" or "Revised"