Βιβλιοθήκες γραμμένες σε Haskell

HDBC-session

Αυτό το αποθετήριο περιλαμβάνει μια ενωμένη γεννήτρια ερωτημάτων που βασίζεται σε πλήρη σχεσιακή άλγεβρα και εργαλεία αντιστοίχισης μεταξύ της λίστας τιμών SQL και του τύπου εγγραφής Haskell.
  • 226
  • BSD 3-clause "New" or "Revised"

Algorithm-W-Step-By-Step

Κλασικός αλγόριθμος W για συμπέρασμα τύπου..
  • 226

diagnose

Μια απλή βιβλιοθήκη για την αναφορά σφαλμάτων μεταγλωττιστή/διερμηνέα.
  • 222
  • BSD 3-clause "New" or "Revised"

unordered-containers

Αποτελεσματικοί τύποι κοντέινερ που βασίζονται σε κατακερματισμό.
  • 222
  • BSD 3-clause "New" or "Revised"

hid-examples

Παραδείγματα που συνοδεύουν το βιβλίο «Haskell in Depth».
  • 221
  • BSD 3-clause "New" or "Revised"

grpc-haskell

Υποστήριξη Haskell gRPC.
  • 220
  • Apache License 2.0

blaze-from-html

Μια απίστευτα γρήγορη βιβλιοθήκη συνδυασμού HTML για Haskell..
  • 220
  • BSD 3-clause "New" or "Revised"

sbv

Επαλήθευση βάσει SMT στο Haskell. Εκφράστε ιδιότητες σχετικά με τα προγράμματα Haskell και αποδείξτε τις αυτόματα χρησιμοποιώντας λύσεις SMT.
  • 219
  • BSD 3-clause "New" or "Revised"

freer-simple

Ένα φιλικό σύστημα εφέ για τον Haskell.
  • 219
  • BSD 3-clause "New" or "Revised"

cassava

Μια βιβλιοθήκη ανάλυσης και κωδικοποίησης CSV βελτιστοποιημένη για ευκολία στη χρήση και υψηλή απόδοση.
  • 218
  • BSD 3-clause "New" or "Revised"

sixty

Εξαρτημένος έλεγχος τύπων με χρήση κανονικοποίησης μέσω αξιολόγησης.
  • 218
  • BSD 3-clause "New" or "Revised"

hydra

Υλοποίηση του πρωτοκόλλου Hydra Head (με είσοδο-έξοδο-hk).
  • 217
  • Apache License 2.0

elm-get

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

givegif

GIF στη γραμμή εντολών.
  • 216
  • BSD 3-clause "New" or "Revised"

cardano-ledger

Η εφαρμογή του καθολικού και οι προδιαγραφές του blockchain Cardano..
  • 216
  • Apache License 2.0

serverless-haskell

Ανάπτυξη εφαρμογών Haskell στο AWS Lambda με διακομιστή χωρίς διακομιστή.
  • 213
  • MIT

lol

Λ ⚬ λ: Λειτουργική κρυπτογραφία πλέγματος.
  • 212
  • GNU General Public License v3.0 only

capability

Επεκτατικές δυνατότητες και συνδυασμοί παραγωγής.
  • 212
  • BSD 3-clause "New" or "Revised"

haskeline

Μια βιβλιοθήκη Haskell για εισαγωγή γραμμής σε προγράμματα γραμμής εντολών..
  • 210
  • BSD 3-clause "New" or "Revised"

glambda

Το σπίτι του διερμηνέα Glamorous Glambda.
  • 210
  • BSD 3-clause "New" or "Revised"

postgresql-simple

Βιβλιοθήκη πελάτη μεσαίου επιπέδου για πρόσβαση στην PostgreSQL από τη Haskell.
  • 208
  • BSD 3-clause "New" or "Revised"

optparse-generic

Δημιουργήστε αυτόματα έναν αναλυτή γραμμής εντολών για τον τύπο δεδομένων σας.
  • 205
  • BSD 3-clause "New" or "Revised"

hi

Δημιουργήστε ικρίωμα για ένα έργο Haskell.
  • 201
  • BSD 3-clause "New" or "Revised"

Allure

Το Allure of the Stars είναι ένα παιχνίδι μάχης επιστημονικής φαντασίας που μοιάζει με απατεώνες και τακτικής ομάδας, γραμμένο στο Haskell. προσφέρετε σχόλια, π.χ., αφού δοκιμάσετε την έκδοση web frontend στο.
  • 200
  • GNU Affero General Public License v3.0

telegram-api

Telegram Bot API για Haskell.
  • 198
  • BSD 3-clause "New" or "Revised"

music-suite

Μουσική στο Haskell.
  • 197
  • BSD 3-clause "New" or "Revised"

katip

Ένα δομημένο πλαίσιο καταγραφής για το Haskell.
  • 197
  • BSD 3-clause "New" or "Revised"

quickcheck-state-machine

Δοκιμή μονάδων προγραμμάτων χρησιμοποιώντας μοντέλα που βασίζονται σε κρατικές μηχανές.
  • 196
  • BSD 3-clause "New" or "Revised"

HaTeX

Η βιβλιοθήκη Haskell LaTeX..
  • 196
  • BSD 3-clause "New" or "Revised"

snap-server

Μια γρήγορη βιβλιοθήκη διακομιστή HTTP, η οποία εκτελεί προγράμματα χειρισμού ιστού Snap..
  • 195
  • BSD 3-clause "New" or "Revised"