Haskell
Erfasste Open-Source-Repos mit Haskell als Hauptsprache, sortiert nach Sternen.
- #1pandoc@jgm
Universeller Markup-Konverter
★ 46.045+84Sterne-Änderung der letzten 7 Tage - #2shellcheck@koalaman
ShellCheck, ein statisches Analysewerkzeug für Shell-Skripte.
★ 39.946+41Sterne-Änderung der letzten 7 Tage - #3postgrest@PostgREST
REST‑API für jede Postgres‑Datenbank.
★ 27.630+15Sterne-Änderung der letzten 7 Tage - #4simplex-chat@simplex-chat
SimpleX – das erste Messaging-Netzwerk, das ohne jegliche Benutzerkennungen auskommt – 100 % privat durch Design! iOS-, Android- und Desktop-Apps 📱!
★ 19.326+39Sterne-Änderung der letzten 7 Tage - #5hadolint@hadolint
Dockerfile-Linter, validiert Inline-Bash, geschrieben in Haskell
★ 12.379+13Sterne-Änderung der letzten 7 Tage - #6purescript@purescript
Eine streng typisierte Sprache, die nach JavaScript kompiliert wird
★ 8.902+3Sterne-Änderung der letzten 7 Tage - #7compiler@elm
Compiler für Elm, eine funktionale Sprache für zuverlässige Webanwendungen.
★ 7.888+6Sterne-Änderung der letzten 7 Tage - #8unison@unisonweb
Eine freundliche Programmiersprache aus der Zukunft.
★ 6.719+8Sterne-Änderung der letzten 7 Tage - #9Carp@carp-lang
Ein statisch typisiertes Lisp ohne Garbage Collector für Echtzeitanwendungen.
★ 6.016+5Sterne-Änderung der letzten 7 Tage - #10ihp@digitallyinduced
🔥 Der schnellste Weg, typsichere Web-Apps zu erstellen. IHP ist ein neues, voll ausgestattetes Web-Framework, das für langfristige Produktivität und Programmierer-Zufriedenheit optimiert ist.
★ 5.343+3Sterne-Änderung der letzten 7 Tage - #11kmonad@kmonad
Ein fortschrittlicher Tastaturmanager.
★ 5.056+2Sterne-Änderung der letzten 7 Tage - #12hledger@plaintextaccounting
Robustes, schnelles, intuitives Plain-Text-Buchhaltungstool mit CLI-, TUI- und Webschnittstellen.
★ 4.673+17Sterne-Änderung der letzten 7 Tage - #13Haxl@facebook
Eine Haskell-Bibliothek, die den Zugriff auf Remotedaten wie Datenbanken oder webbasierte Dienste vereinfacht.
★ 4.377+1Sterne-Änderung der letzten 7 Tage - #14duckling@facebook
Sprache, Engine und Werkzeuge zum Ausdrücken, Testen und Evaluieren von kombinierbaren Sprachregeln für Eingabezeichenfolgen.
★ 4.314+7Sterne-Änderung der letzten 7 Tage - #15fp-course@system-f
Kurs für funktionale Programmierung
★ 4.243+3Sterne-Änderung der letzten 7 Tage - #16stack@commercialhaskell
Das Haskell Tool Stack
★ 4.077+1Sterne-Änderung der letzten 7 Tage - #17Kind@HigherOrderCO
Eine moderne Beweissprache
★ 3.766-1Sterne-Änderung der letzten 7 Tage - #18xmonad@xmonad
Der Kern von xmonad, ein kleiner, aber funktionaler, ICCCM-konformer Tiling-Window-Manager
★ 3.584+2Sterne-Änderung der letzten 7 Tage - #19xdg-ninja@b3nj5m1n
Ein Shell-Skript, das das $HOME-Verzeichnis auf unerwünschte Dateien und Ordner überprüft.
★ 3.362+6Sterne-Änderung der letzten 7 Tage - #20ghc@ghc
Mirror des Glasgow Haskell Compilers. Bitte reichen Sie Issues und Patches über die Gitlab-Instanz von GHC ein (https://gitlab.haskell.org/ghc/ghc). Neue Beitragende werden ermutigt, sich mit den Neuling-Informationen (https://gitlab.haskell.org/ghc/ghc/wikis/contributing) vertraut zu machen.
★ 3.275-1Sterne-Änderung der letzten 7 Tage - #21Simula@SimulaVR
Linux-VR-Desktop
★ 3.200+0Sterne-Änderung der letzten 7 Tage - #22cardano-node@IntersectMBO
Die Kernkomponente zur Teilnahme an einer dezentralen Cardano-Blockchain.
★ 3.177+1Sterne-Änderung der letzten 7 Tage - #23echidna@crytic
Fuzzer für Ethereum Smart Contracts
★ 3.171+2Sterne-Änderung der letzten 7 Tage - #24haskell-language-server@haskell
Offizielle Haskell-IDE-Unterstützung über das Language Server Protocol (LSP)
★ 2.952+1Sterne-Änderung der letzten 7 Tage - #25agda@agda
Agda ist eine dependently getypte Programmiersprache und ein interaktiver Theorembeweiser.
★ 2.920+5Sterne-Änderung der letzten 7 Tage - #26hakyll@jaspervdj
Eine Bibliothek für statische Website-Compiler in Haskell
★ 2.870+4Sterne-Änderung der letzten 7 Tage - #27futhark@diku-dk
:boom::computer::boom: Eine datenparallele funktionale Programmiersprache
★ 2.793+1Sterne-Änderung der letzten 7 Tage - #28wire-server@wireapp
🇪🇺 Wire-Back-End-Dienste
★ 2.782+0Sterne-Änderung der letzten 7 Tage - #29patat@jaspervdj
Terminalbasierte Präsentationen mit Pandoc
★ 2.740-1Sterne-Änderung der letzten 7 Tage - #30yesod@yesodweb
Ein auf WAI basierendes RESTful Haskell-Webframework.
★ 2.722+0Sterne-Änderung der letzten 7 Tage
