Βιβλιοθήκες γραμμένες σε Haskell

wire-server

🇪🇺 Υπηρεσίες υποστήριξης καλωδίων.
  • 2.6k
  • GNU Affero General Public License v3.0

yesod-persistent

Ένα ξεκούραστο πλαίσιο ιστού Haskell βασισμένο στο WAI..
  • 2.5k
  • MIT

wiwinwlh

Τι θα ήθελα να ήξερα όταν μάθαινα το Haskell.
  • 2.5k
  • GNU General Public License v3.0

hledger

Ισχυρό, γρήγορο, διαισθητικό λογιστικό εργαλείο απλού κειμένου με διεπαφές CLI, TUI και web..
  • 2.4k
  • GNU General Public License v3.0 only

haskell-language-server

Επίσημη υποστήριξη ιδεών haskell μέσω διακομιστή γλώσσας (LSP). Διάδοχος του ghcide & haskell-ide-engine..
  • 2.4k
  • Apache License 2.0

Agda

Το Agda είναι μια εξαρτημένη πληκτρολόγηση γλώσσα προγραμματισμού / διαδραστικό θεώρημα.
  • 2.2k

corrode

Μεταφραστής C σε Rust.
  • 2.1k
  • GNU General Public License v3.0 only

futhark

:boom::computer::boom: Μια γλώσσα προγραμματισμού με παράλληλες λειτουργίες.
  • 2.1k
  • ISC

miso

:ramen: Ένα νόστιμο πλαίσιο μπροστινής πλευράς Haskell.
  • 2.1k
  • BSD 3-clause "New" or "Revised"

Gitit

Ένα wiki που χρησιμοποιεί HAppS, pandoc και git.
  • 2.1k

binaryen

ΚΑΤΑΡΓΗΘΗΚΕ υπέρ του ghc wasm backend, ανατρέξτε στη διεύθυνση https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc.
  • 2.0k
  • BSD 3-clause "New" or "Revised"

patat

Παρουσιάσεις που βασίζονται σε τερματικό χρησιμοποιώντας το Pandoc.
  • 2.0k
  • GNU General Public License v2.0 only

hevm

Dapp, Seth, Hevm και πολλά άλλα.
  • 2.0k
  • GNU Affero General Public License v3.0 only

lens

Φακοί, αναδιπλώσεις και διασχίσεις - Ελάτε μαζί μας στο web.libera.chat #haskell-lens (από ekmett).
  • 1.9k
  • GNU General Public License v3.0

lamdu

lamdu - προς την επόμενη γενιά IDE.
  • 1.8k
  • GNU General Public License v3.0 only

xdg-ninja

Ένα σενάριο φλοιού που ελέγχει το $HOME σας για ανεπιθύμητα αρχεία και καταλόγους..
  • 1.8k
  • MIT

servant

Κύριο αποθετήριο για τις υπηρεσιακές βιβλιοθήκες — DSL για περιγραφή, εξυπηρέτηση, αναζήτηση, χλευασμό, τεκμηρίωση εφαρμογών Ιστού και πολλά άλλα!.
  • 1.7k
  • BSD 3-clause "New" or "Revised"

erd

Μεταφράζει μια περιγραφή απλού κειμένου ενός σχήματος σχεσιακής βάσης δεδομένων σε ένα γραφικό διάγραμμα σχέσης οντοτήτων..
  • 1.7k

wstunnel

Tunneling μέσω του πρωτοκόλλου websocket - Διατίθεται στατικό δυαδικό.
  • 1.7k
  • BSD 3-clause "New" or "Revised"

scotty

Πλαίσιο ιστού Haskell εμπνευσμένο από το Ruby's Sinatra, χρησιμοποιώντας WAI και Warp (Επίσημο Αποθετήριο).
  • 1.6k
  • BSD 3-clause "New" or "Revised"

HLearn-algebra

Ομομορφική μηχανική μάθηση.
  • 1.6k
  • BSD 3-clause "New" or "Revised"

taskell

Γραμμή εντολών Kanban board/task manager με υποστήριξη για πίνακες Trello και έργα GitHub.
  • 1.6k
  • BSD 3-clause "New" or "Revised"

aur

Ένας ασφαλής, πολύγλωσσος διαχειριστής πακέτων για το Arch Linux και το AUR..
  • 1.6k
  • GNU General Public License v3.0 only

tensorflow

Δεσμοί Haskell για το TensorFlow.
  • 1.5k

Cabal

Επίσημο αποθετήριο ανάπτυξης upstream για Cabal και Cabal-install.
  • 1.5k
  • BSD 3-clause "New" or "Revised"

yi

Ο επεξεργαστής Haskell-Scriptable.
  • 1.5k
  • GNU General Public License v2.0 only

dex-lang

Γλώσσα έρευνας για την επεξεργασία πινάκων στην οικογένεια Haskell/ML.
  • 1.5k
  • BSD 3-clause "New" or "Revised"

neuron

Μελλοντική λήψη σημειώσεων και δημοσίευση με βάση το Zettelkasten (αντικαταστάθηκε από την Emanote: https://github.com/srid/emanote).
  • 1.5k
  • GNU Affero General Public License v3.0 only

plutus

Η εφαρμογή και τα εργαλεία της γλώσσας Plutus.
  • 1.5k
  • Apache License 2.0

brick

Μια δηλωτική βιβλιοθήκη UI τερματικού Unix γραμμένη σε Haskell.
  • 1.4k
  • BSD 3-clause "New" or "Revised"