Haskellben írt könyvtárak

HDBC-session

Ez a lerakat tartalmaz egy, a típusteljes relációs algebrán alapuló egyesített lekérdezésgenerátort, valamint az SQL-értéklista és a Haskell-rekordtípus közötti leképezési eszközöket.
  • 226
  • BSD 3-clause "New" or "Revised"

Algorithm-W-Step-By-Step

Klasszikus W algoritmus a típuskövetkeztetéshez.
  • 226

diagnose

Egy egyszerű könyvtár a fordító/tolmács hibák jelentésére.
  • 222
  • BSD 3-clause "New" or "Revised"

unordered-containers

Hatékony hash-alapú tárolótípusok.
  • 222
  • BSD 3-clause "New" or "Revised"

hid-examples

Példák a „Haskell in Depth” című könyvhöz.
  • 221
  • BSD 3-clause "New" or "Revised"

grpc-haskell

Haskell gRPC támogatás.
  • 220
  • Apache License 2.0

blaze-from-html

Egy hihetetlenül gyors HTML-kombinátor könyvtár a Haskell számára.
  • 220
  • BSD 3-clause "New" or "Revised"

sbv

SMT alapú ellenőrzés a Haskellben. Tulajdonságok kifejezése a Haskell programokkal kapcsolatban, és automatikusan igazolja azokat SMT-megoldókkal.
  • 219
  • BSD 3-clause "New" or "Revised"

freer-simple

Barátságos hatásrendszer Haskell számára.
  • 219
  • BSD 3-clause "New" or "Revised"

cassava

A könnyű használat és a nagy teljesítmény érdekében optimalizált CSV-elemző és kódoló könyvtár.
  • 218
  • BSD 3-clause "New" or "Revised"

sixty

Függő típus-ellenőrző normalizálással kiértékeléssel.
  • 218
  • BSD 3-clause "New" or "Revised"

hydra

A Hydra Head protokoll megvalósítása (input-output-hk).
  • 217
  • Apache License 2.0

elm-get

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

givegif

GIF-ek a parancssorban.
  • 216
  • BSD 3-clause "New" or "Revised"

cardano-ledger

A Cardano blokklánc főkönyvi megvalósítása és specifikációi..
  • 216
  • Apache License 2.0

serverless-haskell

Haskell-alkalmazások üzembe helyezése AWS Lambdában kiszolgáló nélkül.
  • 213
  • MIT

lol

Λ ⚬ λ: Funkcionális rácsos kriptográfia.
  • 212
  • GNU General Public License v3.0 only

capability

Bővítési lehetőségek és származékos kombinátorok.
  • 212
  • BSD 3-clause "New" or "Revised"

haskeline

Haskell-könyvtár soros bevitelhez parancssori programokban.
  • 210
  • BSD 3-clause "New" or "Revised"

glambda

A Glamorous Glambda tolmács otthona.
  • 210
  • BSD 3-clause "New" or "Revised"

postgresql-simple

Középszintű klienskönyvtár a PostgreSQL Haskelltől való eléréséhez.
  • 208
  • BSD 3-clause "New" or "Revised"

optparse-generic

Automatikusan generáljon parancssori elemzőt az adattípushoz.
  • 205
  • BSD 3-clause "New" or "Revised"

hi

Állvány létrehozása egy Haskell projekthez.
  • 201
  • BSD 3-clause "New" or "Revised"

Allure

Az Allure of the Stars egy közeljövő sci-fi, szélhámos és taktikai csapatharc játéka, amelyet Haskellben írtak; kérjük, adjon visszajelzést, például miután kipróbálta a web frontend verzióját a címen.
  • 200
  • GNU Affero General Public License v3.0

telegram-api

Telegram Bot API a Haskellhez.
  • 198
  • BSD 3-clause "New" or "Revised"

music-suite

Zene Haskellben.
  • 197
  • BSD 3-clause "New" or "Revised"

katip

Strukturált naplózási keretrendszer a Haskell számára.
  • 197
  • BSD 3-clause "New" or "Revised"

quickcheck-state-machine

Monádikus programok tesztelése állapotgép alapú modellekkel.
  • 196
  • BSD 3-clause "New" or "Revised"

HaTeX

A Haskell LaTeX könyvtár...
  • 196
  • BSD 3-clause "New" or "Revised"

snap-server

Gyors HTTP szerver könyvtár, amely Snap webkezelőket futtat.
  • 195
  • BSD 3-clause "New" or "Revised"