In Haskell geschriebene Bibliotheken

purescript-native

Ein natives Compiler-Backend für PureScript (über C++ oder Golang).
  • 606
  • BSD 3-clause "New" or "Revised"

helm

  • 596
  • MIT

tttool

Ich versuche, das Dateiformat von Tip Toi zu verstehen.
  • 586
  • MIT

opaleye

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

reach-lang

Reach: Die sicherste und intelligenteste DApp-Programmiersprache.
  • 584
  • Apache License 2.0

hpack

hpack: Ein modernes Format für Haskell-Pakete.
  • 580
  • MIT

LambdaHack

Haskell-Game-Engine-Bibliothek für Roguelike-Dungeon-Crawler; Bitte geben Sie Feedback, z. B. nach dem Ausprobieren des Beispielspiels mit dem Web-Frontend unter.
  • 580
  • BSD 3-clause "New" or "Revised"

H

Die volle Leistung von R in Haskell.
  • 579
  • BSD 3-clause "New" or "Revised"

amazonka

Ein umfassendes Amazon Web Services SDK für Haskell.
  • 565
  • Mozilla Public License 2.0

beam

Eine typsichere, nicht TH Haskell SQL-Bibliothek und ORM (von haskell-beam).
  • 562
  • MIT

pact

Die Pact Smart Contract-Sprache.
  • 550
  • BSD 3-clause "New" or "Revised"

Perspec

Skriptfähige Desktop-App zum Korrigieren der Perspektive von Bildern.
  • 545
  • GNU Affero General Public License v3.0

hindent

Hübscher Haskell-Drucker.
  • 545
  • BSD 3-clause "New" or "Revised"

cubicaltt

Experimentelle Umsetzung der kubischen Typentheorie.
  • 542
  • MIT

xmonad-contrib

Beigesteuerte Module für xmonad.
  • 541
  • BSD 3-clause "New" or "Revised"

eff

🚧 ein in Arbeit befindliches Effektsystem für Haskell 🚧 (von hasura).
  • 536
  • ISC

zero-bullshit-haskell

Lernen Sie Haskell, ohne den Bullshit.
  • 534
  • BSD 3-clause "New" or "Revised"

stan

🕵️ Haskell STatic-Analysator (von kowainik).
  • 519
  • Mozilla Public License 2.0

haskoin

Haskoin Core ist eine Bitcoin- und Bitcoin-Cash-Bibliothek.
  • 516

reactive-banana

Bibliothek für funktionale reaktive Programmierung in Haskell.
  • 512
  • BSD 3-clause "New" or "Revised"

granule

Eine statisch typisierte lineare funktionale Sprache mit abgestuften Modaltypen für eine feinkörnige Programmbegründung.
  • 511
  • BSD 3-clause "New" or "Revised"

copilot

Ein Stream-basiertes Laufzeitverifizierungs-Framework zum Generieren von hartem Echtzeit-C-Code.
  • 510
  • GNU General Public License v3.0

pi-forall

Eine Demo-Implementierung einer einfachen abhängig typisierten Sprache.
  • 506
  • BSD 3-clause "New" or "Revised"

stgi

Eine benutzerzentrierte visuelle STG-Implementierung zum besseren Verständnis des GHC/Haskell-Ausführungsmodells.
  • 502
  • BSD 3-clause "New" or "Revised"

attoparsec

Eine schnelle Haskell-Bibliothek zum Parsen von ByteStrings.
  • 497
  • BSD 3-clause "New" or "Revised"

haskell-code-explorer

Webanwendung zum Erkunden und Verstehen von Haskell-Codebasen.
  • 497
  • MIT

monomer

Eine benutzerfreundliche, plattformübergreifende GUI-Bibliothek zum Schreiben von Haskell-Anwendungen.
  • 494
  • BSD 3-clause "New" or "Revised"

elaboration-zoo

Minimale Implementierungen für die Überprüfung und Ausarbeitung abhängiger Typen.
  • 490
  • BSD 3-clause "New" or "Revised"

criterion

Eine leistungsstarke, aber einfache Bibliothek zum Messen der Leistung von Haskell-Code. (von haskell).
  • 489
  • BSD 3-clause "New" or "Revised"

Hakatime

Wakatime-Serverimplementierungs- und Analyse-Dashboard.
  • 486
  • The Unlicense