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"

Algorithm-W-Step-By-Step

Algorithme classique W pour l'inférence de type.
  • 226

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"

grpc-haskell

Prise en charge de Haskell gRPC.
  • 220
  • Apache License 2.0

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"

freer-simple

Un système d'effet amical pour Haskell.
  • 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"

hydra

Implémentation du protocole Hydra Head (par input-output-hk).
  • 217
  • Apache License 2.0

elm-get

  • 216
  • BSD 3-clause "New" or "Revised"

givegif

GIF sur la ligne de commande.
  • 216
  • 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

serverless-haskell

Déploiement d'applications Haskell sur AWS Lambda avec Serverless.
  • 213
  • MIT

lol

Λ ⚬ λ: Cryptographie Fonctionnelle en Réseau.
  • 212
  • GNU General Public License v3.0 only

capability

Capacités d'extension et combinateurs dérivés.
  • 212
  • BSD 3-clause "New" or "Revised"

haskeline

Une bibliothèque Haskell pour la saisie de ligne dans les programmes en ligne de commande.
  • 210
  • BSD 3-clause "New" or "Revised"

glambda

La maison de l'interprète de Glamorous Glambda.
  • 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"

hi

Générer un échafaudage pour un projet Haskell.
  • 201
  • 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

telegram-api

API Telegram Bot pour Haskell.
  • 198
  • BSD 3-clause "New" or "Revised"

music-suite

Musique à Haskell.
  • 197
  • BSD 3-clause "New" or "Revised"

katip

Un cadre de journalisation structuré pour Haskell.
  • 197
  • BSD 3-clause "New" or "Revised"

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"

HaTeX

La bibliothèque Haskell LaTeX..
  • 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"