In Haskell geschriebene Bibliotheken

HDBC-session

Dieses Repository umfasst einen verbundenen Abfragegenerator, der auf typvoller relationaler Algebra basiert, und Zuordnungstools zwischen SQL-Werteliste und Haskell-Datensatztyp.
  • 226
  • BSD 3-clause "New" or "Revised"

Algorithm-W-Step-By-Step

Klassischer Algorithmus W zur Typinferenz.
  • 226

diagnose

Eine einfache Bibliothek zum Melden von Compiler-/Interpreterfehlern.
  • 222
  • BSD 3-clause "New" or "Revised"

unordered-containers

Effiziente Hashing-basierte Containertypen.
  • 222
  • BSD 3-clause "New" or "Revised"

hid-examples

Beispiele zum Buch „Haskell in Depth“.
  • 221
  • BSD 3-clause "New" or "Revised"

grpc-haskell

Haskell gRPC-Unterstützung.
  • 220
  • Apache License 2.0

blaze-from-html

Eine unglaublich schnelle HTML-Kombinatorbibliothek für Haskell.
  • 220
  • BSD 3-clause "New" or "Revised"

sbv

SMT-basierte Verifizierung in Haskell. Drücken Sie Eigenschaften von Haskell-Programmen aus und beweisen Sie sie automatisch mithilfe von SMT-Solvern.
  • 219
  • BSD 3-clause "New" or "Revised"

freer-simple

Ein freundliches Effektsystem für Haskell.
  • 219
  • BSD 3-clause "New" or "Revised"

cassava

Eine CSV-Parsing- und Codierungsbibliothek, die für Benutzerfreundlichkeit und hohe Leistung optimiert ist.
  • 218
  • BSD 3-clause "New" or "Revised"

sixty

Abhängiger Typprüfer mit Normalisierung durch Auswertung.
  • 218
  • BSD 3-clause "New" or "Revised"

hydra

Implementierung des Hydra Head-Protokolls (von input-output-hk).
  • 217
  • Apache License 2.0

elm-get

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

givegif

GIFs auf der Kommandozeile.
  • 216
  • BSD 3-clause "New" or "Revised"

cardano-ledger

Die Ledger-Implementierung und Spezifikationen der Cardano-Blockchain.
  • 216
  • Apache License 2.0

serverless-haskell

Bereitstellen von Haskell-Anwendungen auf AWS Lambda mit Serverless.
  • 213
  • MIT

lol

Λ ⚬ λ: Funktionale Gitterkryptographie.
  • 212
  • GNU General Public License v3.0 only

capability

Erweiterungsmöglichkeiten und Ableitung von Kombinatoren.
  • 212
  • BSD 3-clause "New" or "Revised"

haskeline

Eine Haskell-Bibliothek für die Zeileneingabe in Befehlszeilenprogrammen.
  • 210
  • BSD 3-clause "New" or "Revised"

glambda

Die Heimat des glamourösen Glambda-Interpreten.
  • 210
  • BSD 3-clause "New" or "Revised"

postgresql-simple

Mid-Level-Client-Bibliothek für den Zugriff auf PostgreSQL von Haskell.
  • 208
  • BSD 3-clause "New" or "Revised"

optparse-generic

Generieren Sie automatisch einen Befehlszeilenparser für Ihren Datentyp.
  • 205
  • BSD 3-clause "New" or "Revised"

hi

Gerüst für ein Haskell-Projekt generieren.
  • 201
  • BSD 3-clause "New" or "Revised"

Allure

Allure of the Stars ist ein in Haskell geschriebenes Sci-Fi-Roguelike- und taktisches Squad-Kampfspiel der nahen Zukunft. Bitte geben Sie Feedback, z. B. nach dem Ausprobieren der Web-Frontend-Version unter.
  • 200
  • GNU Affero General Public License v3.0

telegram-api

Telegram Bot API für Haskell.
  • 198
  • BSD 3-clause "New" or "Revised"

music-suite

Musik in Haskell.
  • 197
  • BSD 3-clause "New" or "Revised"

katip

Ein strukturiertes Protokollierungsframework für Haskell.
  • 197
  • BSD 3-clause "New" or "Revised"

quickcheck-state-machine

Testen Sie monadische Programme mithilfe von Zustandsmaschinen-basierten Modellen.
  • 196
  • BSD 3-clause "New" or "Revised"

HaTeX

Die Haskell LaTeX-Bibliothek.
  • 196
  • BSD 3-clause "New" or "Revised"

snap-server

Eine schnelle HTTP-Serverbibliothek, die Snap-Webhandler ausführt.
  • 195
  • BSD 3-clause "New" or "Revised"