Perpustakaan yang ditulis dalam Haskell

purescript-native

Backend compiler asli untuk PureScript (melalui C++ atau Golang).
  • 606
  • BSD 3-clause "New" or "Revised"

helm

  • 596
  • MIT

tttool

Mencoba memahami format file Tip Toi.
  • 586
  • MIT

opaleye

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

reach-lang

Jangkauan: Bahasa Pemrograman DApp Teraman dan Terpintar.
  • 584
  • Apache License 2.0

hpack

hpack: Format modern untuk paket Haskell.
  • 580
  • MIT

LambdaHack

Pustaka mesin game Haskell untuk crawler ruang bawah tanah roguelike; tolong tawarkan umpan balik, misalnya, setelah mencoba permainan sampel dengan antarmuka web di.
  • 580
  • BSD 3-clause "New" or "Revised"

H

Kekuatan penuh R di Haskell..
  • 579
  • BSD 3-clause "New" or "Revised"

amazonka

SDK Layanan Web Amazon yang komprehensif untuk Haskell..
  • 565
  • Mozilla Public License 2.0

beam

Pustaka dan ORM Haskell SQL non-TH yang aman untuk tipe (oleh haskell-beam).
  • 562
  • MIT

pact

Bahasa Kontrak Cerdas Pakta.
  • 550
  • BSD 3-clause "New" or "Revised"

Perspec

Aplikasi desktop skrip untuk mengoreksi perspektif gambar.
  • 545
  • GNU Affero General Public License v3.0

hindent

Haskell printer cantik.
  • 545
  • BSD 3-clause "New" or "Revised"

cubicaltt

Implementasi eksperimental Teori Tipe Kubik.
  • 542
  • MIT

xmonad-contrib

Modul kontribusi untuk xmonad.
  • 541
  • BSD 3-clause "New" or "Revised"

eff

🚧 sistem efek yang sedang berjalan untuk Haskell 🚧 (oleh hasura).
  • 536
  • ISC

zero-bullshit-haskell

Pelajari Haskell, tanpa omong kosong..
  • 534
  • BSD 3-clause "New" or "Revised"

stan

🕵️ Haskell STatic analyzer (oleh kowainik).
  • 519
  • Mozilla Public License 2.0

haskoin

Haskoin Core adalah perpustakaan Bitcoin dan Bitcoin Cash.
  • 516

reactive-banana

Perpustakaan untuk pemrograman reaktif fungsional di Haskell..
  • 512
  • BSD 3-clause "New" or "Revised"

granule

Bahasa fungsional linier yang diketik secara statis dengan tipe modal bertingkat untuk penalaran program yang halus.
  • 511
  • BSD 3-clause "New" or "Revised"

copilot

Kerangka kerja verifikasi runtime berbasis aliran untuk menghasilkan kode C real-time yang sulit..
  • 510
  • GNU General Public License v3.0

pi-forall

Implementasi demo dari bahasa yang diketik secara dependen sederhana.
  • 506
  • BSD 3-clause "New" or "Revised"

stgi

Implementasi STG visual yang berpusat pada pengguna untuk membantu memahami model eksekusi GHC/Haskell..
  • 502
  • BSD 3-clause "New" or "Revised"

attoparsec

Pustaka Haskell yang cepat untuk mem-parsing ByteStrings.
  • 497
  • BSD 3-clause "New" or "Revised"

haskell-code-explorer

Aplikasi web untuk menjelajahi dan memahami basis kode Haskell.
  • 497
  • MIT

monomer

Pustaka GUI lintas platform yang mudah digunakan untuk menulis aplikasi Haskell..
  • 494
  • BSD 3-clause "New" or "Revised"

elaboration-zoo

Implementasi minimal untuk pengecekan dan elaborasi tipe dependen.
  • 490
  • BSD 3-clause "New" or "Revised"

criterion

Pustaka yang kuat namun sederhana untuk mengukur kinerja kode Haskell. (oleh haskell).
  • 489
  • BSD 3-clause "New" or "Revised"

Hakatime

Implementasi server Wakatime & dasbor analitik.
  • 486
  • The Unlicense