Perpustakaan yang ditulis dalam Haskell

HDBC-session

Repositori ini menyertakan generator kueri gabungan berdasarkan aljabar relasional typefull, dan alat pemetaan antara daftar nilai SQL dan tipe catatan Haskell..
  • 226
  • BSD 3-clause "New" or "Revised"

Algorithm-W-Step-By-Step

Algoritma Klasik W untuk inferensi tipe..
  • 226

diagnose

Pustaka sederhana untuk melaporkan kesalahan kompiler/penerjemah.
  • 222
  • BSD 3-clause "New" or "Revised"

unordered-containers

Jenis kontainer berbasis hashing yang efisien.
  • 222
  • BSD 3-clause "New" or "Revised"

hid-examples

Contoh untuk menemani buku "Haskell in Depth".
  • 221
  • BSD 3-clause "New" or "Revised"

grpc-haskell

Dukungan Haskell gRPC.
  • 220
  • Apache License 2.0

blaze-from-html

Pustaka kombinator HTML yang sangat cepat untuk Haskell..
  • 220
  • BSD 3-clause "New" or "Revised"

sbv

Verifikasi Berbasis SMT di Haskell. Ekspresikan properti tentang program Haskell dan buktikan secara otomatis menggunakan pemecah SMT..
  • 219
  • BSD 3-clause "New" or "Revised"

freer-simple

Sistem efek ramah untuk Haskell.
  • 219
  • BSD 3-clause "New" or "Revised"

cassava

Pustaka parsing dan penyandian CSV yang dioptimalkan untuk kemudahan penggunaan dan kinerja tinggi.
  • 218
  • BSD 3-clause "New" or "Revised"

sixty

Pemeriksa tipe dependen menggunakan normalisasi dengan evaluasi.
  • 218
  • BSD 3-clause "New" or "Revised"

hydra

Implementasi protokol Hydra Head (oleh input-output-hk).
  • 217
  • Apache License 2.0

elm-get

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

givegif

GIF di baris perintah.
  • 216
  • BSD 3-clause "New" or "Revised"

cardano-ledger

Implementasi buku besar dan spesifikasi blockchain Cardano..
  • 216
  • Apache License 2.0

serverless-haskell

Menerapkan aplikasi Haskell ke AWS Lambda dengan Tanpa Server.
  • 213
  • MIT

lol

Λ ⚬ λ: Kriptografi Kisi Fungsional.
  • 212
  • GNU General Public License v3.0 only

capability

Kemampuan ekstensional dan kombinator turunan.
  • 212
  • BSD 3-clause "New" or "Revised"

haskeline

Pustaka Haskell untuk input baris dalam program baris perintah..
  • 210
  • BSD 3-clause "New" or "Revised"

glambda

Rumah juru bahasa Glamorous Glambda.
  • 210
  • BSD 3-clause "New" or "Revised"

postgresql-simple

Pustaka klien tingkat menengah untuk mengakses PostgreSQL dari Haskell.
  • 208
  • BSD 3-clause "New" or "Revised"

optparse-generic

Buat parser baris perintah secara otomatis untuk tipe data Anda.
  • 205
  • BSD 3-clause "New" or "Revised"

hi

Hasilkan perancah untuk proyek Haskell.
  • 201
  • BSD 3-clause "New" or "Revised"

Allure

Allure of the Stars adalah game pertempuran skuad taktis dan roguelike Sci-Fi masa depan yang ditulis dalam Haskell; tolong tawarkan umpan balik, misalnya, setelah mencoba versi frontend web di.
  • 200
  • GNU Affero General Public License v3.0

telegram-api

Telegram Bot API untuk Haskell.
  • 198
  • BSD 3-clause "New" or "Revised"

music-suite

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

katip

Kerangka logging terstruktur untuk Haskell.
  • 197
  • BSD 3-clause "New" or "Revised"

quickcheck-state-machine

Uji program monadik menggunakan model berbasis mesin negara.
  • 196
  • BSD 3-clause "New" or "Revised"

HaTeX

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

snap-server

Pustaka server HTTP cepat, yang menjalankan penangan web Snap..
  • 195
  • BSD 3-clause "New" or "Revised"