Biblioteker skrevet i Haskell

HDBC-session

Dette lager inkluderer en sammenkoblet forespørgselsgenerator baseret på typefuld relationel algebra og kortlægningsværktøjer mellem SQL-værdiliste og Haskell-posttype.

226
BSD 3-clause "New" or "Revised"

Algorithm-W-Step-By-Step

Klassisk algoritme W for typeinferens..

226

diagnose

Et simpelt bibliotek til rapportering af compiler/tolkefejl.

222
BSD 3-clause "New" or "Revised"

unordered-containers

Effektive hashing-baserede containertyper.

222
BSD 3-clause "New" or "Revised"

hid-examples

Eksempler til at ledsage bogen "Haskell i dybden".

221
BSD 3-clause "New" or "Revised"

grpc-haskell

Haskell gRPC support.

220
Apache License 2.0

blaze-from-html

Et lynhurtigt HTML-kombinatorbibliotek til Haskell..

220
BSD 3-clause "New" or "Revised"

sbv

SMT-baseret verifikation i Haskell. Udtryk egenskaber om Haskell-programmer og bevis dem automatisk ved hjælp af SMT-løsere.

219
BSD 3-clause "New" or "Revised"

freer-simple

Et venligt effektsystem til Haskell.

219
BSD 3-clause "New" or "Revised"

cassava

Et CSV-parsing- og kodningsbibliotek optimeret til brugervenlighed og høj ydeevne.

218
BSD 3-clause "New" or "Revised"

sixty

Afhængig typekontrol ved hjælp af normalisering ved evaluering.

218
BSD 3-clause "New" or "Revised"

hydra

Implementering af Hydra Head-protokollen (ved input-output-hk).

217
Apache License 2.0

elm-get

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

givegif

GIF'er på kommandolinjen.

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

cardano-ledger

Ledger-implementeringen og specifikationerne for Cardano blockchain..

216
Apache License 2.0

serverless-haskell

Implementering af Haskell-applikationer til AWS Lambda med serverløs.

213
MIT

lol

Λ ⚬ λ: Funktionel gitterkryptering.

212
GNU General Public License v3.0 only

capability

Udvidelsesmuligheder og afledte kombinatorer.

212
BSD 3-clause "New" or "Revised"

haskeline

Et Haskell-bibliotek til linjeinput i kommandolinjeprogrammer.

210
BSD 3-clause "New" or "Revised"

glambda

Hjemmet for den glamourøse Glambda-tolk.

210
BSD 3-clause "New" or "Revised"

postgresql-simple

Klientbibliotek på mellemniveau til adgang til PostgreSQL fra Haskell.

208
BSD 3-clause "New" or "Revised"

optparse-generic

Generer automatisk en kommandolinjeparser til din datatype.

205
BSD 3-clause "New" or "Revised"

hi

Generer stillads til et Haskell-projekt.

201
BSD 3-clause "New" or "Revised"

Allure

Allure of the Stars er et nær fremtidigt Sci-Fi rogue-lignende og taktisk holdkampspil skrevet i Haskell; kom med feedback, f.eks. efter at have prøvet webfrontend-versionen på.