Perpustakaan yang ditulis dalam Haskell
esqueleto
Rumah baru Esqueleto, harap laporkan masalah agar kami dapat menyelesaikan masalah!.
- 361
- BSD 3-clause "New" or "Revised"
Earley
Mengurai semua tata bahasa bebas konteks menggunakan algoritme Earley di Haskell..
- 354
- BSD 3-clause "New" or "Revised"
reflex-dom
Aplikasi web tanpa callback atau efek samping. Reflex-DOM menghadirkan kekuatan pemrograman reaktif fungsional (FRP) ke web. Bangun HTML dan data Model Objek Dokumen (DOM) lainnya dengan antarmuka fungsional murni..
- 347
- BSD 3-clause "New" or "Revised"
vector
Implementasi yang efisien dari array yang diindeks Int (baik yang dapat diubah maupun yang tidak dapat diubah), dengan kerangka pengoptimalan loop yang kuat. (oleh haskell).
- 345
- BSD 3-clause "New" or "Revised"
gwern.net
Infrastruktur situs untuk gwern.net (CSS/JS/HS/images/icons). Situs web Hakyll khusus dengan pengarsipan tautan otomatis unik, UX popup tooltip rekursif, mode gelap, dan tipografi (sidenotes+dropcaps+peringatan+penyesuai inflasi)..
- 337
infernu
Ketik inferensi dan periksa JavaScript yang lebih aman..
- 332
- GNU General Public License v2.0 only
tamarin-prover
Repositori kode sumber utama dari pembukti Tamarin untuk verifikasi protokol keamanan..
- 332
parconc-examples
Contoh kode untuk menyertai buku "Parallel and Concurrent Programming in Haskell".
- 329
- BSD 3-clause "New" or "Revised"
compendium-client
Mu (μ) adalah kerangka kerja murni fungsional untuk membangun layanan mikro..
- 323
- Apache License 2.0
snap-core
Definisi tipe inti (Snap monad, tipe HTTP, dll) dan utilitas untuk penangan web..
- 318
- BSD 3-clause "New" or "Revised"